Wed Jan 3 22:03:30 EST 2018

Back to OCaml?

Basically, I can't find the right langauge.  What I need:

1. Needs to be able to do both pure FP (for library code, logic) and
   OO code (services, "stuff managers", public APIs).

3. Simple enough for embedded devices and cross-compilation

Haskell: too big and complex both in resource use as in mental
load. too distracting.

Erlang: good for general system design, but dynamic typing is
problematic for long-term support

Rust: haven't tried much yet, but might be a good complement

OCaml: forgotton?  It pretty much has all I need.  And is quite
efficient and light-weight.