Standard ML: Porovnání verzí
Smazaný obsah Přidaný obsah
m přidána Kategorie:Programovací jazyky za použití HotCat |
fix reference |
||
Řádek 1:
'''Standard ML''' ('''SML''') je staticky orientovaný typově bezpečný univerzální [[programovací jazyk]], který ztělesňuje mnoho inovativních nápadů v oblasti návrhů a implementace programovacích jazyků. Podporuje polymorfní inference typů a automaticky zajišťuje efektivní správu paměti. Podporuje funkcionální programování, ale zároveň umožňuje imperativní programování. Usnadňuje programování s rekurzí a symbolických datových struktur skrze podporu šablon (angl. „pattern matching“). Tento jazyk je vybaven rozšiřitelným mechanismem pro manipulaci výjimek a poskytuje flexibilní modulovací prostředky pro strukturování velkých programů. Většina implementací nabízí rozsáhlé knihovny a užitečné vývojové nástroje. Téměř všechny kompilátory generují nativní strojový kód, a to i při interaktivním režimu interpreta. Jazyk je populární mezi informatiky, kteří kompilátory navrhují a nebo implementují.
SML je moderní potomek programovacího jazyka ML, který byl poprvé navržen k práci na projektu „Logic for Computable Functions (LCF)“ k dokazování teorémů. Zkratka "ML" je odvozená z anglického „Meta Language“, což přeloženo do češtiny znamená „meta jazyk“ a je výrazem z oblasti jazykové logiky. V němž jsou analyzovány i jiné jazyky (formální nebo neformální). V roce 1983, Milner<ref>Robin Milner. How ML evolved. Polymorphism: The ML/LCF/Hope Newsletter,
=== Ukázky kódu ===
Řádek 160:
* Moscow ML http://www.itu.dk/people/sestoft/mosml.html.
<references />
[[Kategorie:Programovací jazyky]]
| |||