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.
- Chi è Michele Costabile?
Proxy Bar
Altrove- Voglio un negozio online come Amazon.com : PC Professionale
- WPF patterns : MVC, MVP or MVVM or…?
- Sandcastle Help File Builder
- Sandcastle - Documentation Compiler for Managed Class Libraries
- Magnetic Stripe Track 1, Track 2 Data Description
- Chomsky hierarchy
- SerialPort (RS-232 Serial COM Port) in C# .NET
- Clue is a renewable resource
- Mila Spicola, la scuola a Palermo
- Configurare i colori di git
Rubriche
Blogroll
