Ocaml

I recently found myself with some time and the chance to finally pick up OCaml. Its use in correctness-first systems is what had first caught my eye back in my University days If I remember right, the earliest glimpse I had of OCaml in industry came from this talk, hosted by the school’s hacker community where an alumni from a prop-trading shop came down to share what they were building. ; I never had the chance to explore it deeply. Happily, this aligned with a long-term personal goal of building meaningful pedagogical artefacts An example: meaningful guided projects with an effortful learning curve. for FOSS ecosystems.

Real World OCaml is supposed to be a intermediate-depth introduction to the OCaml ecosystem, with a some rigour to drive home the intuition around the fascinating Hindley-Milner type system. It was fun to read this and to see patterns from other worlds like the Elixir world and OOP world be mapped to the world of OCaml and the greater ML-family of languages.

Some problems from the official 99 exercises-set. It’s modelled after the older 99 Lisp problems and 99 Prolog problems. Doing this to improve my working OCaml.