Storia di Objective Caml

Ocaml è un linguaggio interessante, che sta spuntando in contesti diversi, anche in un progetto di ricerca in Microsoft, chiamato Fsharp. Back in the 1940's, the mathematician Alonzo Church (possibly inspired by ideas in Gödel's Incompleteness Theorem) proposed the theory of Lambda Calculus, as an alternative basis for computational theory to Turing's Machine. Now, Lambda Calculus has about as much to do with learning Ocaml as Turing Machines have to do with learning Java (i.e. nothing at all), but Lambda Calculus and Fortran- which originally stood for FORmula TRANslator, and was intended to allow scientists and engineers to simply write formulas, and not code- combined in the mind of John McCarthy to form Lisp, in about 1958.