Re: [RFC] Scalar Type Hinting With Casts (re-opening)

From: Date: Mon, 14 Jul 2014 12:45:35 +0000
Subject: Re: [RFC] Scalar Type Hinting With Casts (re-opening)
References: 1 2 3 4 5 6  Groups: php.internals 
Request: Send a blank email to internals+get-75445@lists.php.net to get a copy of this message 
Alain Williams wrote (on 14/07/2014):

This sort of error should be picked up the first time that the script is
compiled, it does not need to be executed (other than conditional includes).
This means that these errors will be picked up very quickly.


So, it doesn't need to be executed ... except when it does (I can think of a few other cases where it's non-trivial to write a compile-time check).

There are plenty of static analysis tools which will pick up this kind of thing, but if you want a language with strict compile-time checks, use Hack, which eliminates certain dynamic PHP features in order to make stronger guarantees.

Regards,
-- 
Rowan Collins
[IMSoP]

Thread (250 messages)

« previous php.internals (#75445) next »