Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:88797
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.212.175 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAFMT4NpETZp5p+yVmUNZHjKamkA1niapAs10fCzd-6O0jHk4nA@mail.gmail.com>
References: <0A.C2.33697.6AECE165@pb1.pair.com>
	<561ED07E.4060809@gmail.com>
	<CAFMT4NpETZp5p+yVmUNZHjKamkA1niapAs10fCzd-6O0jHk4nA@mail.gmail.com>
Date: Wed, 14 Oct 2015 16:50:41 -0600
Message-ID: <CAObuZdsph2f38SRS_Gj+TcbNVC5D4Q0DNG1KDjwfmj9f9XWbMA@mail.gmail.com>
To: Levi Morrison <levim@php.net>
Cc: Stanislav Malyshev <smalyshev@gmail.com>, Andrea Faulds <ajf@ajf.me>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=f46d0444806f5a4f0d052218642a
Subject: =?UTF-8?B?UmU6IFtQSFAtREVWXSBbUkZDXSBWb2lkIFJldHVybiBUeXBlICh2MC4yLCByZcO2cGVuaQ==?=
	=?UTF-8?B?bmcp?=
From: derokorian@gmail.com (Ryan Pallas)

--f46d0444806f5a4f0d052218642a
Content-Type: text/plain; charset=UTF-8

On Wed, Oct 14, 2015 at 4:46 PM, Levi Morrison <levim@php.net> wrote:
>
>
> I agree that `void` doesn't make sense given that we document that
> `return;` will return null[1].  If the union types RFC[2] passes it
> makes sense to allow `Foo | null` which allows something of type `Foo`
> or `null`. To me it makes sense that if you then remove `Foo` you are
> left with `null`, not `void`. My personal recommendation because of
> this would be to use `null` for the return type and instead of `void`.
>
> Also, I do not think this feature is pointless. For instance, it has
> value in interfaces. Declaring that a method does not return a value
> means implementors cannot accidentally return something. This is
> better than just documenting that it should not be done.


+1 these are my thoughts exactly. I would be for it if it was null, and
interfaces is exactly why I would be for it.

--f46d0444806f5a4f0d052218642a--