SML: differenze tra le versioni

Versione delle 20:28, 30 giu 2004

Versione attuale delle 08:24, 13 ago 2022

(26 versioni intermedie di 22 utenti non mostrate)

Riga 1:

{{Disambigua}}

In [[informatica]], '''SML''' ('''''S'''tandard '''ML''''') è un [[linguaggio di programmazione]] derivato dall<nowiki>'</nowiki>'''ML'''.

== Sigle ==

* '''[[Security market line]]'''

* '''[[Service Modeling Language]]''' – specifica [[XML]]

* '''[[Standard ML]]''' – [[linguaggio di programmazione]]

* '''Specific Migration Limits'''

* '''Sopra Livello Mare'''

== Codici ==

L'ML originale era una serie di MetaLinguaggi ideati da [[Robin Milner]] (e i suoi studenti) all'[[Università di Edimburgo]] per creare programmi che eseguissero la dimostrazione di teoremi ('''''theorem provers'''''). Questi metalinguaggi furono poi "standardizzati" per dare origine all'SML, di cui lo standard più recente risale al [[1997]] (''The Definition of Standard ML - Revised'').

* '''SML '''– [[codice aeroportuale IATA]] dell'aeroporto civile Stella Maris – Long Island ([[Bahamas]])

* '''sml '''– codice [[ISO 639-3]] della [[lingua sama centrale]]

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 &egrave; ''[[concurrent]]'' o parallelo. Altri elementi comuni a Lisp e Scheme sono la presenza del ''[[garbage collector]]'' e di date di strutture dinamiche che sono integrate col linguaggio, per esempio le liste.

* '''SML '''– codice valutario [[ISO 4217]] della [[lira sammarinese]]

Al contrario di Lisp e Scheme, 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'').

[[Categoria:Informatica]][[Categoria:Linguaggi di programmazione]]

[[de:SML]]

[[en:SML]]