Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:102158
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain loot.at from 217.72.192.74 cause and error)
To: internals@lists.php.net
Message-ID: <0d108361-f5fa-fe76-b6ad-66e23bfa88f5@loot.at>
Date: Tue, 5 Jun 2018 09:22:11 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.8.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Language: en-US
Subject: Better types without runtime checking
From: r.gottesheim@loot.at (Rudolph Gottesheim)

There's always a lot of talk about types in the PHP community. 
Specifically, many developers want property types, generics, function 
signature types, union and intersection types, and more. Those talks 
(and RFCs) always end with the same result: "We can't do it because 
performance issues."

Has there ever been a discussion about adding some of those features 
syntactically, but ignoring them during runtime? At least until someone 
finds a performant way to check them at runtime. That way we could have 
advanced type checking in our editors at least.

The idea will sound familiar to TypeScript users. It works great for 
that language.

I'm excited to hear your opinions.