Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:102169
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain outlook.com designates 40.92.8.50 as permitted sender)
To: Yasuo Ohgaki <yohgaki@ohgaki.net>, "r.gottesheim@loot.at"
	<r.gottesheim@loot.at>
CC: PHP internals <internals@lists.php.net>
Thread-Topic: [PHP-DEV] Better types without runtime checking
Thread-Index: AQHT/J3+4sRxhjr3qUKGBp5XwDSzXKRRRG2AgABoIkc=
Date: Tue, 5 Jun 2018 15:04:35 +0000
Message-ID: <CY4PR18MB10484ACDA9FD076486D9F470DE660@CY4PR18MB1048.namprd18.prod.outlook.com>
References: <0d108361-f5fa-fe76-b6ad-66e23bfa88f5@loot.at>,<CAGa2bXZB5h1peVij2bBPkze8Dz57x9UcfeeOm8n0uR7RqERKEA@mail.gmail.com>
In-Reply-To: <CAGa2bXZB5h1peVij2bBPkze8Dz57x9UcfeeOm8n0uR7RqERKEA@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [lEFdvvQqtgEekKj+SlpihMan+YTtAlUJ]
x-ms-publictraffictype: Email
x-microsoft-exchange-diagnostics: 1;CO1NAM03HT139;7:qoESrGuGiO3REKbE0s1V/uHMBAErfMiC5yx8ahARJtycCAuYKCncdI8ctO6fjvhTYsy0/Ly1h+jxMLNx4v9agbuOed49UiUljUfrENwrLbeoaLpfQOcXkoxI+IcP6ov5CNbc8m9KQHsaqaNb37eJAVMiHXzpH/d9Vv8+Cci/7DecyUTKkPUPyd5tOA6eBUchzmhqO39pRWHaAIy8QzJF82yOCleb9osrjnkiDMhTR5SLPBQhi+uvAxCqmpI8yKyP
x-incomingheadercount: 47
x-eopattributedmessage: 0
x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(7020095)(201702061078)(5061506573)(5061507331)(1603103135)(2017031320274)(2017031324274)(2017031323274)(2017031322404)(1603101448)(1601125466)(1701031045);SRVR:CO1NAM03HT139;
x-ms-traffictypediagnostic: CO1NAM03HT139:
x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(444000031);SRVR:CO1NAM03HT139;BCL:0;PCL:0;RULEID:;SRVR:CO1NAM03HT139;
x-forefront-prvs: 0694C54398
x-forefront-antispam-report: SFV:NSPM;SFS:(7070007)(199004)(189003)(486006)(8676002)(33656002)(14454004)(305945005)(110136005)(82202002)(229853002)(76176011)(26005)(87572001)(25786009)(5250100002)(2900100001)(106356001)(7696005)(81156014)(8936002)(102836004)(6346003)(68736007)(4326008)(55016002)(97736004)(104016004)(426003)(5660300001)(2501003)(476003)(3280700002)(74316002)(6436002)(11346002)(6246003)(105586002)(86362001)(3660700001)(53546011)(20460500001)(99286004)(446003);DIR:OUT;SFP:1901;SCL:1;SRVR:CO1NAM03HT139;H:CY4PR18MB1048.namprd18.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;A:1;MX:1;LANG:;
received-spf: None (protection.outlook.com: outlook.com does not designate
 permitted sender hosts)
authentication-results: spf=none (sender IP is )
 smtp.mailfrom=theodorejb@outlook.com; 
x-microsoft-antispam-message-info: 2h397xorsoyeuH3Giq4B1tgA9MrLIeaztiZNGB59epcs1XSgSa5f6qEv4up9rm5rrckFynmzcFp66YNxuFpDTrxgbVA+kWhC0PeoXjnb7zUHOCLTFn+UJuzAnBTY7HAbtTntfoUFP79XWHGjMRKiiI3wwMTwRZQAxxAkk5Y6+u77tt2PXsgXSuH96UXxDS6M
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Office365-Filtering-Correlation-Id: 79378be5-23c5-46f4-3108-08d5caf5a6df
X-OriginatorOrg: outlook.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: dd759f05-a917-4aa0-a2f5-4cc35c50e0c8
X-MS-Exchange-CrossTenant-Network-Message-Id: 79378be5-23c5-46f4-3108-08d5caf5a6df
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: dd759f05-a917-4aa0-a2f5-4cc35c50e0c8
X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Jun 2018 15:04:35.7535
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Internet
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CO1NAM03HT139
Subject: Re: [PHP-DEV] Better types without runtime checking
From: theodorejb@outlook.com (Theodore Brown)

One Tue, Jun 5, 2018 at 2:28 AM Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:=0A=
=0A=
> On Tue, Jun 5, 2018 at 4:23 PM Rudolph Gottesheim <r.gottesheim@loot.at>=
=0A=
> wrote:=0A=
>=0A=
>> There's always a lot of talk about types in the PHP community.=0A=
>> Specifically, many developers want property types, generics, function=0A=
>> signature types, union and intersection types, and more. Those talks=0A=
>> (and RFCs) always end with the same result: "We can't do it because=0A=
>> performance issues."=0A=
>>=0A=
>> Has there ever been a discussion about adding some of those features=0A=
>> syntactically, but ignoring them during runtime? At least until someone=
=0A=
>> finds a performant way to check them at runtime. That way we could have=
=0A=
>> advanced type checking in our editors at least.=0A=
>>=0A=
>> The idea will sound familiar to TypeScript users. It works great for=0A=
>> that language.=0A=
>>=0A=
>> I'm excited to hear your opinions.=0A=
>=0A=
> DbC style has no performance issue at all. In addition, you can perform=
=0A=
> much better validation than simple type checks.=0A=
>=0A=
> function f($username) {=0A=
>   assert(is_string($username) && preg_match('\\A[a-z]\\z', $username);=0A=
>   ....=0A=
> }=0A=
=0A=
Assertions are not a replacement for syntactical type declarations, since=
=0A=
they cannot be checked until runtime. They are also more verbose, and=0A=
don't help editors provide autocompletion when writing code.=0A=
=0A=
+1 to the possibility of a PHP static type checker which can be run=0A=
independently from the runtime to support more advanced types without=0A=
degrading performance.=