Ocaml, in comparison to other functional statically typed languages has had many successful Unix applications. For a great tour of going to Ocaml (from Python)

Ocaml, in comparison to other functional statically typed languages has had many successful Unix applications. For a great tour of going to Ocaml (from Python), see Thomas Leonard's blog. A retrospective is here but read the whole lot. http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/ http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-ret...