4 ms·
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
by jjice 2y ago
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.
- pjmlp 2y agoOCaml has if/else, for loops, whiles, mutations, what are you missing? There are also Swift, F# (Native AOT), Scala (Native, GraalVM, OpenJ9).
- elcritch 2y agoNim 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.
- dontlaugh 2y agoThat language is Swift.