ML (linguaggio di programmazione)

ML linguaggio di programmazione
Autore	Robin Milner
Data di origine	1973
Paradigmi	programmazione procedurale, programmazione funzionale e programmazione imperativa
Influenzato da	ISWIM

ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM. Storicamente, ML sta per MetaLanguage (metalinguaggio) visto che era nato per la verifica formale attraverso il theorem prover LCF (il linguaggio di cui ML rappresentava il livello meta era pplambda, una combinazione di calcolo dei predicati del primo ordine e lambda-calcolo polimorfico debolmente tipizzato). Tra i linguaggi di programmazione funzionali è tra i più noti per il suo utilizzo dell'algoritmo di inferenza dei tipi di Hindley-Milner, che riesce ad inserire quasi tutti i tipi senza bisogno di dichiarazioni.

Descrizione

ML viene definito come linguaggio funzionale impuro, perché a differenza di altri linguaggi funzionali, come ad es. Haskell, consente la programmazione imperativa, e pertanto anche effetti collaterali.

Le caratteristiche principali di ML sono le seguenti: valutazione delle espressioni con chiamata per valore, gestione automatica della memoria attraverso un meccanismo di garbage collection, polimorfismo parametrico, tipizzazione statica, inferenza dei tipi, tipi di dati algebrici, pattern matching e gestione delle eccezioni. La combinazione di tutte queste caratteristiche ha dato vita ad uno dei migliori compilatori disponibili [1].

A differenza di Haskell, ML implementa un meccanismo di valutazione immediato (eager evalutation): vengono sempre valutati tutti gli operandi e poi applicati gli operatori (ad eccezione delle espressioni condizionali che utilizzano sempre la valutazione pigra). Come conseguenza non si possono creare liste infinite. Tuttavia, la valutazione pigra (lazy evaluation) può essere simulata su ogni espressione attraverso l'utilizzo di funzioni anonime, e quindi consentendo anche la creazione di liste infinite.

Sono nati diversi linguaggi a partire da ML; tra questi i più popolari sono SML (Standard ML, del 1990) e Ocaml (Objective Caml). ML ha anche influenzato molti altri linguaggi, soprattutto quelli sviluppati in ambito accademico (ad es. F#, Cyclone e Nemerle).

ML è particolarmente adatto alle applicazioni teoriche come il progetto e lo sviluppo di linguaggi (compilatori, analizzatori, dimostratori di teoremi), ma ha trovato applicazione anche in ambito di bioinformatica, analisi finanziarie, ecc.

Collegamenti esterni

• (EN) ML, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Confronto dell'efficienza dei compilatori in vari linguaggi, su shootout.alioth.debian.org. URL consultato il 2 settembre 2005 (archiviato dall'url originale il 27 giugno 2009).
• (EN) Introduzione a ML, su dcs.napier.ac.uk. URL consultato il 2 settembre 2005 (archiviato dall'url originale il 1º settembre 2005).
• (EN) Moscow ML, una implementazione di Standard ML, su dina.kvl.dk. URL consultato il 2 settembre 2005 (archiviato dall'url originale il 25 febbraio 2012).

Controllo di autorità	LCCN (EN) sh87004533 · J9U (EN, HE) 987007541665305171