Hegel – Strict static types with inference for JavaScript
jsmonk.github.io