Category: ocaml
Posts in this Category (1)
First-Class Modules and Modular Implicits in OCaml
Published on: September 25, 2017
I was pleasantly surprised to discover that OCaml has been supporting modules as first-class objects since v3.12 (2011). Intuition suggests that first-class modules should be expressive enough to simulate Haskell-style typeclasses in OCaml. Turns out this is the route taken by Leo White et al to introduce adhoc polymorphism via...