Greedily evaluating both Haskell and OCaml for systems development work rn. Haskell seems a lot cleaner, perhaps too purely clean, and OCaml seems to have some rough edges where it can’t/doesn’t infer types without awkward syntax. Lazy haskell has STM, monads, parallelism, concurrency and a huge community. Greedy OCaml can do impurity and pseudo-procedural code easier but lacks much of what Haskell has. Thoughts?