OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Cost / License
- Free
- Open Source
Application typeApplication types
Platforms
- Mac
- Windows
- Linux
- BSD
OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?
