Objective Caml

Local

Topics

  • Phantom types: Parameterizing a type with a variable which is unused in the definition of a type. Allows closer alignment of typechecking and properties of the code. See also Generalized Abstract Data Types (GADTs).

Tutorials

gloria i ad inferni
faciamus opus

Return to Top | About this site...
Last edited Sat Aug 8 03:29:10 2009.
Copyright © 2005-2016 Tommy M. McGuire