Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115415
Message-ID: <351E0836-93B1-4021-9754-2681C6E7BA34@newclarity.net>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_ED6A120F-FD33-4F47-839D-589EA09902B2"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\))
Date: Mon, 12 Jul 2021 16:20:32 -0400
In-Reply-To: <CAGgaK7JO-P4nCKhHZx00T2yDyAVE7+iJHTbRaZWitTMVT1Sfkw@mail.gmail.com>
Cc: php internals <internals@lists.php.net>
To: Max Semenik <maxsem.wiki@gmail.com>
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>
Subject: Re: [PHP-DEV] Type casting syntax
From: mike@newclarity.net (Mike Schinkel)

--Apple-Mail=_ED6A120F-FD33-4F47-839D-589EA09902B2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii

> On Jul 12, 2021, at 1:56 PM, Max Semenik <maxsem.wiki@gmail.com> =
wrote:
>=20
> On Mon, Jul 12, 2021 at 8:01 PM Mike Schinkel <mike@newclarity.net =
<mailto:mike@newclarity.net>> wrote:
> Additionally in Go a type assertion can return a second value which is =
boolean telling if the type assertion succeeded.  Not having this would =
effectively moot the benefit to a type assertion if you had to wrap with =
try{}catch{} in case it failed.
>=20
> Not necessarily:
>=20
> if ($obj instanceof MyClass) {
>     // We know its type here
> } else {
>    // Try something else
> }

Well there you go. =20

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.

-Mike


--Apple-Mail=_ED6A120F-FD33-4F47-839D-589EA09902B2--