初识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.
-
References