初识OCaml

• Overview

  Jane Street采用OCaml

• OCaml

  OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.

  It is the technology of choice in comapanies where a single mistake can cost millions and speed matters.

• 学习资料

  官网列出多本书

• History

  OCaml is a dialect of ML (for Meta language), which started out as a language for mathematical theorem proving in the LCF project at the University of Edinburgh - which is descended from Algol and Lisp via P.J. Landin’s never-implemented language ISWIM(“If you See What I Mean” – which was very influential due to several important journal articals in the late 1960’s).

  Development of ML proceeded at Edinbuigh, Stanford and AT&T Bell Labs;

  The original line eventually became Standard ML, which has several notable implementations: ***Standard ML of New Jersey***, MLton, Moscow ML;

  At the INRIA in France as Caml(for Categorical Abstract Machine Language), Caml development continues at INRIA;

  At Chalmers in Sweden as Lazy ML, Lazy ML strongly influenced Haskell and is no longer actively developed;

  There are three Caml languages:

  • Caml: the original French implementation; no longer developed;
  • Caml Light (later Caml Special Light): the precursors to OCaml, practically the same as OCaml except for the object system that give OCaml its “O”; still avaiable, quite stable and still supported at least in 2002;
  • Objective Caml or OCaml: the latest and greatest version of the language, introduced the first strongly-typed object system with type inference;

• Haskell

  官网给的学习资料

  Haskell is a polymorphically statically typed, lazy, purely functional language, quite different from most other programming language.

  The language is named for Haskell Brooks Curry, whose work in mathematical logic serves as a foundation for functional languages.

  Haskell is based on the lambda calculus, hence the lambda we use as a logo.

  理解Haskell Brooks Curry & lambda calculus

• References

1. OCaml for the Skeptical