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.

Dillo a Twitter  Dillo a Delicious 

This entry was posted in ambaradan. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Dillo a Twitter links powered by Tweet This v1.3.9, a WordPress plugin for Twitter.