TypeScript is miles ahead of others I'm surprised. Swift can't even tell it's no longer a "nil" after "if some_var != nil" and felt like I'm helping the language instead of the other way and PHP's typing is still very young and Ruby seems to be introducing some weird declaration file instead of simple inline typing.