Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:102918
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.43 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <c2ecadcb-0c29-6cdc-fdde-e33bd53d5a79@gmx.de>
References: <8916EC21-D368-40F8-9ABD-CE0C04A73539@gmail.com>
 <CADyq6sKNPQeqRtLOO5bpH+hM=ngwt7fn3p2srN0qEO7i3xax=A@mail.gmail.com>
 <CALKiJKroFzn1C6x1xGO1MtVJ9h-ebwXjSS9NGa9kmghT-iyiQg@mail.gmail.com>
 <1832302.prXWr4o048@vulcan> <CALKiJKoZh6WE1yO-OXvLtyKhS_O4t8c8uL+NKkpQSLQfyPjrqg@mail.gmail.com>
 <c2ecadcb-0c29-6cdc-fdde-e33bd53d5a79@gmx.de>
Date: Thu, 19 Jul 2018 16:01:58 +0100
Message-ID: <CALKiJKrt0NwUx2BWJRPWPtG5_znM4ttKtzKXLV7uCQ4yGWDkcg@mail.gmail.com>
To: "Christoph M. Becker" <cmbecker69@gmx.de>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000002b7bba05715b7699"
Subject: Re: [PHP-DEV] Non-nullable properties
From: rowan.collins@gmail.com (Rowan Collins)

--0000000000002b7bba05715b7699
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On 19 July 2018 at 15:20, Christoph M. Becker <cmbecker69@gmx.de> wrote:

> It seems to me that either of these proposals would render the lazy
> initialization pattern outlined in the =E2=80=9COverloaded Properties=E2=
=80=9D
> section[1] invalid.
>
> [1] <https://wiki.php.net/rfc/typed_properties_v2#overloaded_properties>
>


Hm, I guess I didn't read that section carefully enough.

It strikes me that that entire code pattern is a hack due to lack of
property accessors, and it seems a shame to reduce the usefulness of the
language's type system just to support it.

From the responses on this thread, I get the feeling I'm in the minority,
but it still feels utterly wrong to me that a property marked as
non-nullable offers no guarantee at all that it will actually hold a valid
value.

Regards,
--=20
Rowan Collins
[IMSoP]

--0000000000002b7bba05715b7699--