On 20/11/2016 16:24, Rasmus Schultz wrote:
A consistent, complete type-system is not a "trend".
[...]
Anyways, glad to hear Bob Weinland has been working on typed references and
the RFC is not dead :-)

Just to reiterate, I don't agree that these two sentiments go together: a consistent type system requires a lot more than adding type keywords in a few more bits of syntax, then coming up with a meaning for that syntax.

The conversation we need to have is not "how should typed properties work", but "what kind of type constraints do we want, and where should they be checked".

Regards,

--
Rowan Collins
[IMSoP]


--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to