Would be curious to see Pony added to the mix. It has the best of both worlds for my tastes, from Go: statically typed and native code, and Erlang: actor model, GCd at the actor level. Plus more features that neither has like capabilities.
I mean would you like to bet on that stack on top of your betting platform? >___>
Pony promise great things and the language have a proof and all that but it still needs to be battle tested and get to some sort of stability.
https://www.ponylang.org/discover/#what-is-pony (under why not pony section, API unstable)
The degree of tech hype and adoption of bleeding edge is crazy. The thought of programmers just betting on these thing without thoughts on the schmuck who would inherit these technical debt still boggle my mind.