From okmij.org
0 0
The index page for the portion of the web site related to OCaml, SML and MetaOCaml
on Mar 3
From okmij.org
Efficient and Insightful Generalization
0 0
A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
on Nov 29
From okmij.org
0 0
The main page introducing the tagless-final style and serving as a reference to further explanations and examples
on Nov 4
From okmij.org
0 0
A vision of an OS that recognizes that any user activity and most of the system activities are nothing but queries, which ought to be treated uniformly and implemented efficiently once and for all; an OS with no files; transparencies of the talk at MacHack'95
on Oct 31
From okmij.org
Higher-kinded Bounded Polymorphism
0 9
How bounded higher-kinded polymorphism arises in practice, and how to express it in OCaml, in several different ways. Some ways are rather concise -- but less widely known.
on Jul 29
From okmij.org
0 0
Representing fold (sequential accumulation) as map composed with a reduce over a monoid, non-trivially and efficiently. This is a bedrock of parallel programming: however, although the general principle is known, applying it to concrete problems requires ingenuity
on Jul 2
From okmij.org
0 0
Explaining the Boehm-Berarducci isomorphism between strictly-positive algebraic data types and a class of polymorphic System F terms, and illustrating it on a simple example
on Jun 22
From okmij.org
0 0
Various Haskell implementations of the region calculus, to manage resources such as file handles, database connections, etc.
on Mar 2, 2024