Standard ML (SML)
In informatica, Standard ML รจ un linguaggio di programmazione.
L'ML originale era una serie di MetaLinguaggi ideati da Robin Milner (e i suoi studenti) all'universita' di Edimburgo per creare programmi che calcolassero la prova di teoremi (theorem provers). Questi metalinguaggi furono poi "standardizzati" per dare l'SML, di cui lo standard piu' recente risale al 1997 -- vedi The Definition of Standard ML - Revised.
L'SML e' un linguaggio funzionale, quindi avente la caratteristica di rendere facile ed efficiente la creazione e l'uso di funzioni speciallizzate. In questo, SML assomiglia al LISP o allo Scheme. Come questi, SML ha molti dialetti oltre al linguaggio standard, tra i quali si distingue OCaml, che e' object oriented, e CML, che e' concurrent o parallelo. Altri elementi comuni a LISP e Scheme e' la presenza del garbage collector (il riciclatore di memoria usata) e di date di strutture dinamiche che sono integrate col linguaggio, per esempio le liste.
Al contrario di LISP e Scheme (e di Java), SML ha un sistema di tipi che permette gia' al momento della compilazione la verifica che le funzioni siano usate su argomenti del tipo giusto. Inoltre, diversi dialetti di SML hanno sistemi per organizzare i programmi in moduli, con firme (signature), implementazioni (structure), e implementazioni configurabili (functors).\n
Websites:
Tagoror |
Guajara |
Tacoronte Guia |
Todo Gomera |
Deranet |
Radioaficionados |
Cinebso |
Mi Buscador
Enciclopedia On Line: Questa pagina e disponibile con licenza
GNU FDL.
