binibus

At training time and experimentation, Python is king, but I've been searching for a while for the best programming language to use in production environments. The scope I'm thinking about is a microservice, maybe in a server maybe on the edge, with a pretty simple code (input conversion -> inference -> output conversion). Appreciated features: strict type system to avoid errors without too much testing, reasonable performance, ease of parallelization, and garbage collection (I find memory management overkill).

Some options I have in mind are go, rust, ocaml, haskell, erlang/elixir, and scala.

What is your experience in these cases?