Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115416
MIME-Version: 1.0
References: <CAGgaK7+NvxKLF51s0e-i42U0k-nLf=jP9CnD0rhXR4po+QjdsQ@mail.gmail.com>
 <CAEsg9X2um5q7rO=0UFpnwQNJO0QOisuVqhL5Ov5-H5xrOb09Hw@mail.gmail.com>
 <CAAKU0ukEZUsUnVO1+UgDnSvshoYJPQ7+Lyi94dnWc_adYj06+g@mail.gmail.com>
 <0d28ee72-accd-4dfc-a8e0-018c99e4a86d@www.fastmail.com> <CAAKU0ukksze99qZEYcoU8Y1KemSMxcgUbWYqcyuHbhYe3TZ9_A@mail.gmail.com>
 <90547b22-1b12-4cdb-acf5-bde6cace8aad@www.fastmail.com> <E618C28A-86C0-488A-A4DB-2FD12E5BCC08@newclarity.net>
 <CAGgaK7JO-P4nCKhHZx00T2yDyAVE7+iJHTbRaZWitTMVT1Sfkw@mail.gmail.com> <351E0836-93B1-4021-9754-2681C6E7BA34@newclarity.net>
In-Reply-To: <351E0836-93B1-4021-9754-2681C6E7BA34@newclarity.net>
Date: Mon, 12 Jul 2021 22:28:37 +0200
Message-ID: <CANS-=peT3BFhSS6F=c0WeDm+-ceRh3ptU2pqxigDPpXZOWMO5Q@mail.gmail.com>
To: Mike Schinkel <mike@newclarity.net>
Cc: Max Semenik <maxsem.wiki@gmail.com>, php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000f158a205c6f2f821"
Subject: Re: [PHP-DEV] Type casting syntax
From: kjarli@gmail.com (Lynn)

--000000000000f158a205c6f2f821
Content-Type: text/plain; charset="UTF-8"

On Mon, Jul 12, 2021 at 10:20 PM Mike Schinkel <mike@newclarity.net> wrote:

> It seems you have just illustrated why in reality we really do not need
> type casting/assertions in PHP given its current features, because we
> already have what we need.
>

That's not an argument I agree with, as it would invalidate the need for
short closures, null coalesce, constructor property promotion, etc.

Continuing on the previous example:
```php
$service = $container->get(SomeService::class);
assert($service instanceof SomeService);

// could be replaced with
$container->get<SomeService>();

// or in case of multiple instances:
$container->get<SomeService>('the.service.alias');

// perhaps the service is optional
$container->get<?SomeService>();
```

--000000000000f158a205c6f2f821--