OCaml notes Entry: Back to OCaml? Date: Wed Jan 3 22:03:30 EST 2018 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. Entry: Things to play with Date: Wed Jan 3 22:11:14 EST 2018 MetaOCaml Mirage Entry: Old, but some drawbacks listed Date: Wed Jan 3 23:16:59 EST 2018 http://engineering.issuu.com/2015/09/17/ocaml-production.html standard library limited stack trace incomplete debugging/profiling bad parallelism support https://www.reddit.com/r/fsharp/comments/663b63/what_are_fsharpers_critiques_of_haskell_ocaml/ Entry: Cross compiler Date: Wed Jan 3 23:27:15 EST 2018 http://psellos.com/ocaml/compile-to-iphone.html Entry: Rust? Date: Thu Jan 4 02:28:30 EST 2018 Reading a bit more, it seems that Rust might actually be better suited for what I want to do: lightweight and type-safe. Entry: Cross compilation? Date: Tue May 15 23:33:25 EDT 2018 https://github.com/ocaml-cross/ EDIT: https://www.youtube.com/watch?v=X1cgRXhpQLY It's possible to compile OCaml to byte code, embedded in a C interpreter, as an alternative to native code (which it only supports a couple of architectures).