Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105361
MIME-Version: 1.0
References: <CAG9XoMS3xwNEsSvFaad5ExK4o9dhrKG9yaP2enp+yRQDmpr4Ow@mail.gmail.com>
 <CA+kxMuS7DV-iPyEBcaC0-d3W5LmsaawjF=U+ySND59L+dZ9F7Q@mail.gmail.com>
 <HscPQyDDQ0TcOQk9Ljmp2Ebf7fmL1DJnxYxmryg7A2XeKLUh--8H6YQNNJ_U418pVdNCW_6QZuJ55FBtMlPtLpY8_uNfNXd7NZrydANpHKc=@protonmail.com>
 <9fee0f79-a77d-c0f1-ec24-efa4dd587f91@hristov.com> <CAG9XoMTQf4oiGY8Hchk0iWQfNTsaGk7EcmHNa=_XTcSNDztNPQ@mail.gmail.com>
 <71E9312E-C4A6-44EB-AB1C-D8E063EB946A@koalephant.com>
In-Reply-To: <71E9312E-C4A6-44EB-AB1C-D8E063EB946A@koalephant.com>
Date: Tue, 23 Apr 2019 16:02:15 +0200
Message-ID: <CAG9XoMRVtA7deyDF-35+qus-utQjzHpxCO-3nwBjrHwyUubOCw@mail.gmail.com>
To: Stephen Reay <php-lists@koalephant.com>
Cc: PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000000c05a0587330908"
Subject: Re: [PHP-DEV] Object Type Casting Reloaded
From: benjamin.morel@gmail.com (Benjamin Morel)

--00000000000000c05a0587330908
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

@Stephen Reay <php-lists@koalephant.com>

> And as I said before, I can=E2=80=99t understand how that is supposed to =
be
better than just doing what works now, using instanceof to check the type
inside the block:
> if (! $foo instanceof Foo) { throw new TypeError(=E2=80=A6); }
> At least with the above, it=E2=80=99s obvious what is happening.

It's exactly the purpose of the proposal: avoid this boilerplate. For the
same reason you probably write:

    function test(Foo $foo, string $bar) {}

and not:

    function test($foo, $bar) {
        if (! $foo instanceof Foo) throw new TypeError();
        if (! is_string($bar)) throw new TypeError();
    }

We could have argued a few years ago that adding type-hints to PHP was
unnecessary, for the same reason: if was possible to do these checks in
userland.
It's just much more readable and concise to let the engine perform the
checks.

The current proposal is to fill the gap of type checking / type hinting
**inline**, when getting data from an losely typed source.

- Ben

--00000000000000c05a0587330908--