Abstract
Functional programming is an old idea with a distinguished history. Lisp, a functional language inspired by Alonzo Church’s lambda calculus, was one of the first programming languages developed at the dawn of the computing age. Statically typed functional languages such as OCaml and Haskell are newer, but their roots go deep.
Index Terms
- OCaml for the Masses: Why the next language you learn should be functional
Recommendations
Fresh O'Caml: Nominal Abstract Syntax for the Masses
Nominal abstract syntax, as pioneered by the 'FreshML' series of metalanguages, provides first-order tools for the representation and manipulation of syntax involving bound names, binding operations and @a-equivalence. Fresh O'Caml fuses nominal ...
Delimited control in OCaml, abstractly and concretely
We describe the first implementation of multi-prompt delimited control operators in OCaml that is direct in that it captures only the needed part of the control stack. The implementation is a library that requires no changes to the OCaml compiler or run-...
Delimited control in OCaml, abstractly and concretely: system description
FLOPS'10: Proceedings of the 10th international conference on Functional and Logic ProgrammingWe describe the first implementation of multi-prompt delimited control operators in OCaml that is direct in that it captures only the needed part of the control stack. The implementation is a library that requires no changes to the OCaml compiler or run-...
Comments