On Tue, Jan 2, 2018 at 7:08 AM, Hidde Boomsma <email@example.com> wrote:
> Dear Michael,
> Are you aware of this RFC: https://wiki.php.net/rfc/typed-properties
I was not aware of it. What I propose has a much wider scope, but the fact
there was slowdown on the last implementation try is concerning.