J>>TypeScript ?

LP>Там ведь опциональная типизация? Хотелось бы полноценный статически типизированный язык.

Да, опциональная. Но если есть — то очень, очень строгая.

А в чем дело? Боишься согрешить?