Extensible OCaml Data Structures with Polymorphic Variants
OCaml polymorphic variants let you build extensible, type-safe data structures without rigid ADT definitions. See a practical expression evaluator example and learn how to verify inferred types.
ocaml