Have a look at OCaml. For simple standalone binaries it&#x27;s a real sweet spot: it&#x27;s powerful and safe without being complex. It has the best module system going and a mature open-source ecosystem, and in the last few years it&#x27;s converged on a good package&#x2F;dependency manager. There&#x27;s a great series of blog posts from someone who looked at replacements for Python and ultimately moved to OCaml, summarized at <a href="http:&#x2F;&#x2F;roscidus.com&#x2F;blog&#x2F;blog&#x2F;2014&#x2F;06&#x2F;06&#x2F;python-to-ocaml-retrospective&#x2F;" rel="nofollow">http:&#x2F;&#x2F;roscidus.com&#x2F;blog&#x2F;blog&#x2F;2014&#x2F;06&#x2F;06&#x2F;python-to-ocaml-ret...</a>