Fresh O'Caml Programming

Introducing Fresh OCaml

Fresh OCaml was probably the first full-scale programming language with inbuilt support for handling binding.

Particular plus points are:

Lightweight but powerful syntax (particularly pattern-matches on abstraction values).
Datatypes representing syntax up to -equivalence.
The solid mathematical foundation.
Compilation to both bytecode and native code.
Its ease of use for rapid prototyping.
Fresh OCaml uses first-order representations of binding: it does not use higher-order abstract syntax.

Fresh OCaml Development

Fresh OCaml is an appropriate language for developing rapid prototype mathematical models that require pattern-matching on abstraction values. It is used almost exclusively by a number of large firms, including Jane Street Capital.

Sailant Web Services is proud to be the first Canadian web developer to offer OCaml programming expertise. Please contact us for more information.