newsfilter.io
Tutorial

OCaml's New Proposed "include functor" Syntax | OCaml Unboxed

Jane StreetGoldfirere
Watch on YouTube →
  • Development is currently underway to upstream the "include functor" feature into the mainstream OCaml distribution.
  • Implementation of the feature will allow developers to define core functionality for modules, such as rev_array_map, and automatically generate remaining components via the include functor mechanism.
  • Automated generation of map and iter definitions from mapI and iterI is planned, intended to eliminate the need for manual redefinition whenever the mappable type is used.
  • It is anticipated that defining a module matching the mappable type will consistently result in patterns where map and iter are derived from their mapI and iterI counterparts.