Have you compared with a modern typed functional language e.g. OCaml, F#, Scala, Haskell? I&#x27;m pleased that Rust is making a lot of these functional things more mainstream, but for normal application code where GC is acceptable Rust adds a lot of unnecessary overhead.<p>(Personally I use Scala, but using Maven for dependency management rather than SBT. It doesn&#x27;t tick all your boxes (in particular I&#x27;m thinking of one specific member of the &quot;community&quot;) but it&#x27;s close, and deals with a lot of your minuses)