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.

Autore: cosmic53

I have been into compilers and device drivers in the 80's, I have helped building the public Internet in Italy in the 90's. I have always loved programming languages and languages in general, writing about . Now I am into mobile apps. I am also a trained musician with a degree in jazz music. I play guitar, bass and flute.


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

Logo di

Stai commentando usando il tuo account Chiudi sessione /  Modifica )

Google photo

Stai commentando usando il tuo account Google. 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 )

Connessione a %s...