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 <andr...@dqxtech.net> wrote: > On 10 January 2018 at 19:59, Rasmus Lerdorf <ras...@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. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php