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.



Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:


Stai commentando usando il tuo account Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...