Re: [RFC][DISCUSSION] Strong Typing Syntax
| From: | Andreas Hennings | Date: | Wed, 10 Jan 2018 19:25:57 +0000 |
| Subject: | Re: [RFC][DISCUSSION] Strong Typing Syntax | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-101594@lists.php.net to get a copy of this message | ||
Whether we work with runtime type checks or compile-time static analysis:
The user-facing language design questions would still be the same, right?
E.g. we would still have to distinguish type-locked parameter values
vs dynamically typed parameter values.
On 10 January 2018 at 20:23, Andreas Hennings <andreas@dqxtech.net> wrote:
> On 10 January 2018 at 19:59, Rasmus Lerdorf <rasmus@lerdorf.com> wrote:
>>
>> Now if the RFC was a plan for baking a compile-time static analysis engine
>> into PHP itself, that would be interesting. But that is a *massive* project.
>
> Even with my limited understanding of the engine, I can imagine this
> to be a lot of work.
> But it sounds much better to me than adding more expensive runtime type checks.
> I think it would be worth exploring as a long-term direction.