Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92605
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain fleshgrinder.com from 212.232.28.124 cause and error)
Reply-To: internals@lists.php.net
References: <CAFMT4No6yFJ4r4bWGOaLZkYdpqE_YeDiEHCecq4ATBqypeUegQ@mail.gmail.com>
 <570F4BB4.6020709@zend.com> <57112225.6020905@thefsb.org>
 <BY2PR0201MB1784002A8F5F1D577220BD5BBF680@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <57119B5E.6070205@thefsb.org>
 <BY2PR0201MB178497F586633AA99AD8E00ABF6B0@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <CAKSD0w6mg5qfPZ2AexsZLppPi+hHtt9vnW2Zmfsj+A1_AMEtrg@mail.gmail.com>
 <CAFp73Xsu-+XC6aVz5Yt08HntyW3NaPm+hJYsPpoxzoqEmvxN1w@mail.gmail.com>
 <BY2PR0201MB178494E8EF85885D7AB287E6BF6D0@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <20160420165307.9C86E1A83D08@dd1730.kasserver.com>
 <31.BF.14036.A61D8175@pb1.pair.com>
 <20160421163334.368CF1A80188@dd1730.kasserver.com>
To: Thomas Bley <mails@thomasbley.de>, guilhermeblanco@gmail.com,
 cornelius.howl@gmail.com, dmitry@zend.com, fsb@thefsb.org
Cc: internals@lists.php.net
Message-ID: <57192AEE.2000702@fleshgrinder.com>
Date: Thu, 21 Apr 2016 21:33:02 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.2
MIME-Version: 1.0
In-Reply-To: <20160421163334.368CF1A80188@dd1730.kasserver.com>
Content-Type: multipart/signed; micalg=pgp-sha256;
 protocol="application/pgp-signature";
 boundary="kaCPnkUr7XQD3nwgHDu9tVJ6PXVrddmUL"
Subject: Re: [PHP-DEV] [RFC] Nullable Types
From: php@fleshgrinder.com (Fleshgrinder)

--kaCPnkUr7XQD3nwgHDu9tVJ6PXVrddmUL
Content-Type: multipart/mixed; boundary="2GnLCQm2UvqqadjsWEk9HHtXTJH7TfON8"
From: Fleshgrinder <php@fleshgrinder.com>
Reply-To: internals@lists.php.net
To: Thomas Bley <mails@thomasbley.de>, guilhermeblanco@gmail.com,
 cornelius.howl@gmail.com, dmitry@zend.com, fsb@thefsb.org
Cc: internals@lists.php.net
Message-ID: <57192AEE.2000702@fleshgrinder.com>
Subject: Re: [PHP-DEV] [RFC] Nullable Types
References: <CAFMT4No6yFJ4r4bWGOaLZkYdpqE_YeDiEHCecq4ATBqypeUegQ@mail.gmail.com>
 <570F4BB4.6020709@zend.com> <57112225.6020905@thefsb.org>
 <BY2PR0201MB1784002A8F5F1D577220BD5BBF680@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <57119B5E.6070205@thefsb.org>
 <BY2PR0201MB178497F586633AA99AD8E00ABF6B0@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <CAKSD0w6mg5qfPZ2AexsZLppPi+hHtt9vnW2Zmfsj+A1_AMEtrg@mail.gmail.com>
 <CAFp73Xsu-+XC6aVz5Yt08HntyW3NaPm+hJYsPpoxzoqEmvxN1w@mail.gmail.com>
 <BY2PR0201MB178494E8EF85885D7AB287E6BF6D0@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <20160420165307.9C86E1A83D08@dd1730.kasserver.com>
 <31.BF.14036.A61D8175@pb1.pair.com>
 <20160421163334.368CF1A80188@dd1730.kasserver.com>
In-Reply-To: <20160421163334.368CF1A80188@dd1730.kasserver.com>

--2GnLCQm2UvqqadjsWEk9HHtXTJH7TfON8
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

On 4/21/2016 6:33 PM, Thomas Bley wrote:
> Hello Tom,
>=20
> with default return value I mean to return a certain value if nothing e=
lse is returned (similar to method parameters with a default value).
>=20
> example 1:
>=20
> declare(strict_types=3D0);
>=20
> function my_strpos(string $haystack, string $needle): int =3D false {
>   return 42; // return 42
>   return false; // return false
>   return true; // return 1
>   return; // return false
> }
>=20
> example 2:
>=20
> declare(strict_types=3D1);
>=20
> function my_strpos(string $haystack, string $needle): int =3D false {
>   return 42; // return 42
>   return false; // return false
>   return true; // fatal error
>   return; // return false
> }
>=20

I definitely do not like the equal sign in there because it goes against
all my mathematical knowledge; an int is false?!?

Note that the same /would/ be possible with union types if given preceden=
ce:

function fn(): int|false {}

That being said, it is way too magic! A return without an argument is
*void* and has to result in a `TypeError`. Really, start to think about
the types as /checked annotations/ ...

/**
 * @return int|false
 */
function fn() {}

function fn(): int|false {}

=2E.. are equivalent and the former does not suddenly return *false* on
its own and hell it shouldn't.

--=20
Richard "Fleshgrinder" Fussenegger


--2GnLCQm2UvqqadjsWEk9HHtXTJH7TfON8--

--kaCPnkUr7XQD3nwgHDu9tVJ6PXVrddmUL
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXGSryAAoJEOKkKcqFPVVrq4AP/AwC9TuScqFu8QXvP1WGKx+3
/lG5oE6IhZLNVTg+ebur4SzilPiaks8FiI1xTE/itVjUOKbGxJ8dldr7Ogrtiy0b
81HdeLfjpH6+TGe/N4327sdAEz7ZWSHMRzVfuz9bIo1dTTQkVFLI9Zw4sRnG2su+
XC63h2qeo8+SmuYBr/BMrUSppOShJKN9pFaLj36TTzzilL3wt8fGWtT2lT7dhke5
nqvhjlAKq2bOpav1kGUsMdz38vV4u5AGrztimFEDmGjmy+OUGV6WMIovh/QRTvhD
qqcjPh/vz5pyEdWKVTv1NzJ46Yl87cq+2/y8XVyAbKmPzDmEVjzjqtARoMpad/yV
49LoxpcXXhsuFMKifmjrCrcBLhGqkDd1C8XE0y9KTqHofACszpbULBCu4L87TsPg
kidEFWAXiG3gQwy7Rm8ubsWql6P6HARLmB8l/bggfUeC8mAQ8IWZGuH0PByjtYDV
78NgULGz7MHxr+0md8iyflwa8nE4oJYA89eaJFzOjbDeLlpAdJFnoMqBIJmON67e
Pa6dQmrYP83+8Azn/IJn9l1wcEFwx3mDuMoFPW2+QHBpNxshH0P1vwqcyH1VtNHG
orfDenx6R0hE9VXt0HVLk0Mc+NFnRGwDo+fg6tjZd1WTPwSdh4Bit+5+HQrci5Go
axs5rmxo6fGsumu5IZhk
=DYLK
-----END PGP SIGNATURE-----

--kaCPnkUr7XQD3nwgHDu9tVJ6PXVrddmUL--