Re:A 10x Faster TypeScript
by jjice on Tuesday March 11, 2025 @11:13AM
(#43333280)
I'd love a language that is a GC'd like go, but with the ML inspired type system, and still an imperative language. OCaml seems to be the closest thing to Rust in that regard, but it's not imperative.
[ Parent
| on HN ]
OCaml has if/else, for loops, whiles, mutations, what are you missing?
There are also Swift, F# (Native AOT), Scala (Native, GraalVM, OpenJ9).
Nim is pretty close to that for me. Itβs more pascal-ish inherited but has a sophisticated type system including case types similar to ML sum types and compile time.