XVilka / higher

Higher-kinded programming in OCaml

higher

Higher-kinded programming in OCaml, as described in

      Lightweight Higher-Kinded Polymorphism
      Jeremy Yallop and Leo White
      Functional and Logic Programming 2014

You can install higher using opam:

opam install higher

Implementations in other languages

• fp-ts (TypeScript)
• flow-static-land (Flow)
• hkt (Java)
• KindedJ (cross-language JVM)
• elm-brands (Elm)
• Higher (F#)
• Arrow (Kotlin)
• HKT.swift (Swift)