Standard ML: Malsamoj inter versioj

5 bitokojn aldonis ,  antaŭ 3 jaroj
e
ligiloj
(ektradukado el la angla)
 
e (ligiloj)
| nomo = Standard ML
| logobildo =
| paradigmo = [[plurparadigma programlingvo|plurparadigma]]: [[funkciafunkciaj programlingvolingvoj|funkcia]], [[imperativaordonema programlingvoprogramado|imperativaordonema]]
| jaro =
| aŭtoro =
}}
 
'''Standard ML''' ('''SML'''; [[angla lingvo|angle]] ''Standard Meta Language'') estas ĝeneralcela, [[modulo (programado)|modula]], [[funkciaj lingvoj|funkcia programlingvo]] kun [[compile-time type checking]] kaj [[type inference]]. Ĝi popularas inter skribistoj de [[tradukilo]]j kaj [[programlingva esploro|programlingvaj esploristoj]], kaj ankaŭ ĉe la ellaborado de [[aŭtomata teorempruvado|teorempruviloj]].
 
SML estas moderna dialekto de [[ML (programlingvo)|ML]], la programlingvo uzita en la teorempruvila projekto [[Logic for Computable Functions]] (LCF). Ĝi distingindas inter vaste uzataj lingvoj pro tio, ke ĝi havas formalan specifigon, donitan kiel [[tipregulo]]j kaj [[operacia semantiko|operaciaj semantikoj]] en ''The Definition of Standard ML'' (1990, reviziita kaj simpligita kiel ''The Definition of Standard ML (Revised)'' en 1997).<ref>{{citaĵo el libro
87

redaktoj