It saddens me that ruby, python, elixir, JS... many of the best and most productive backend frameworks have types as an afterthought only.

Rust is cool, but it's also hard to write(did last year's AoC using it, and it was fast to run, slow to write).

Anyone have any recommendations for me? Should I look at go/gin perhaps? No Java please - I need type inference because I'm a spoiled baby.

Edit: anyone tried crystal? Looks promising, but doesn't seem popular...