Hacker News Reader

PHP needs a proper type system with generic support, and would be a killer programming language

I'm aware of Hack, but I don't have full control over the stack, so having all these features included in core PHP would be the only way in my case.