Standard ML: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Mctpyt (diskuto | kontribuoj) ektradukado el la angla |
Mctpyt (diskuto | kontribuoj) e ligiloj |
||
Linio 2:
| nomo = Standard ML
| logobildo =
| paradigmo = [[plurparadigma programlingvo|plurparadigma]]: [[
| jaro =
| aŭtoro =
Linio 13:
}}
'''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
| |||