Hacker News Reader

I'd say we'll see a Rust-with-GC language fairly soon which will be gravitating towards SML/OCAML with today's syntactic expectations.

You can already pick up Haskell, Swift, OCaml or F# for that purpose, no need for yet another language.

What are your thoughts about Gleam lang? Don't you think it covers those conditions?

It runs on top of Erlang if I see this right which isn't quite what I personally would be looking for (rust or MLTon, OCAML compile to native code).