> most advanced type system known to mankind (yeahhh yeahh Hindley-Milner eat your heart out)

This TypeScript release is largely about performance. Isn't OCaml still at least twice as fast (and maybe even faster for incremental compilation on very large codebases)?