Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82702
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain tutteli.ch designates 80.74.154.78 as permitted sender)
To: "'Andrea Faulds'" <ajf@ajf.me>,
	"'PHP Internals'" <internals@lists.php.net>
References: <680FB44D-B42D-4898-A28B-FA1C6E4D4D1A@ajf.me>
In-Reply-To: <680FB44D-B42D-4898-A28B-FA1C6E4D4D1A@ajf.me>
Date: Sat, 14 Feb 2015 22:23:49 +0100
Message-ID: <006701d0489c$86a12470$93e36d50$@tutteli.ch>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Thread-Index: AQJarA5HcqMrZRaN+23HbEjTjl9TGZvb3jug
Content-Language: de-ch
Subject: AW: [PHP-DEV] [RFC] Void Return Type
From: php@tutteli.ch ("Robert Stoll")

Hi Andrea,

> -----Urspr=C3=BCngliche Nachricht-----
> Von: Andrea Faulds [mailto:ajf@ajf.me]
> Gesendet: Samstag, 14. Februar 2015 04:18
> An: PHP Internals
> Betreff: [PHP-DEV] [RFC] Void Return Type
>=20
> Hi everyone,
>=20
> I=E2=80=99ve written a small RFC and patch to add a =
=E2=80=9Cvoid=E2=80=9D return type:
>=20
> https://wiki.php.net/rfc/void_return_type
>=20
> Please have a read over it. I think this would be a simple, yet useful =
addition.
>=20
> Thanks!
> --
> Andrea Faulds
> http://ajf.me/
>=20
>=20
>=20
>=20
>=20
> --
> PHP Internals - PHP Runtime Development Mailing List To unsubscribe, =
visit: http://www.php.net/unsub.php

I think a void type for PHP would make sense but only if the return =
value of such a function cannot be used.=20
Otherwise it is another reason for people to laugh at PHP and =
justifiably so, telling that a function does not return anything but =
return null is very inconsistent.=20

I suggest to use one of the following behaviours:
1. declaring a function void does not return anything (hence is like =
echo to a certain agree)
2. declaring a function void does return a thing of type void (that =
would be similar to Unit in scala)
3. instead of void a function can be declared to be of type null -> =
almost the same behaviour as your RFC but without the inconsistency

Cheers,
Robert