I've been getting into Rust for side projects and was looking to start a conversation about the tradeoffs of Rust vs other languages with robust static type systems.
One conclusion I've come to in my past couple years of hacking on the side - the vast majority of which has been in Haskell, OCaml, Clojure, or Erlang/Elixir - is that there's a niche that's yet to be filled for a language with the following attributes.
1) ergonomic and expressive (so, most likely functional)
2) correct (read: statically typed, good type system), and
3) easily concurrent.
OCaml almost hits the spot but multicore concurrency has been promised forever and still hasn't made it in so my hopes are dwindling. Additionally, the ecosystem is somewhat lacking in places. Rust right now seems to be potentially the best candidate for that language, so I'm looking to see if anyone else has arrived at a similar conclusion.
Anyways, not a troll.