Standard ML

Website: smlfamily.github.io

Standard ML (SML) este un limbaj de programare funcțional, modular, modular, cu verificare de tip compilare și inferență de tip.

Este popular în rândul scriitorilor de compilator și al cercetătorilor de limbaj de programare, precum și în dezvoltarea teoremei.

Standard ML este un dialect modern de ML, limbajul utilizat în logica pentru funcțiile calculabile (LCF) Proiect de provocare a teoremei.

Este distinctiv între limbaje utilizate pe scară largă, prin faptul că are o specificație formală, dată ca reguli de tastare și semantică operațională în definiția ML standard.