Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:102859
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.175 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CALKiJKq_ZFVGQ4yFJC1Tz1FWK6V0obZ1QPD1t73ytArMxDx7tg@mail.gmail.com>
References: <8916EC21-D368-40F8-9ABD-CE0C04A73539@gmail.com>
 <CAOv67gsiuyFYjXvCCzRc_yQApJUrdDcD9NOAD=zFF=+XRFZM9g@mail.gmail.com> <CALKiJKq_ZFVGQ4yFJC1Tz1FWK6V0obZ1QPD1t73ytArMxDx7tg@mail.gmail.com>
Date: Mon, 16 Jul 2018 18:24:21 +0200
Message-ID: <CAOv67gtBNHFnPDqOpY2pXDTrkU=x3M=VLPr1tzi9JAdPvbPqwA@mail.gmail.com>
To: Rowan Collins <rowan.collins@gmail.com>
Cc: PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000001393dd0571204338"
Subject: Re: [PHP-DEV] Non-nullable properties
From: netmo.php@gmail.com (Wes)

--0000000000001393dd0571204338
Content-Type: text/plain; charset="UTF-8"

It's more strict in the proposed rfc. In particular in java the error is
allowed to propagate in the program, while here it won't be.
In other words if ` $foo->aaa` is uninitialized, you are not allowed to do `
$baz->bbb = $foo->aaa`.
In java that's allowed, so in java null pointer deref can really happen
anywhere without knowing its origin, and that's really a big problem.

>

--0000000000001393dd0571204338--