Seriál Funkcionální programovací jazyk ML

Ve třetím článku o jazyce ML si ukážeme některé poněkud pokročilejší techniky. Seznámíme se s technikou curryfikace (curryingu), která je v ML podporována, podobně jako například v Haskellu.

Ve druhé části článku (resp. celého miniseriálu) o programovacím jazyku ML se zaměříme především na podrobnější popis typového systému tohoto jazyka a taktéž na složitější funkce, které používají pattern matching.

Před neuvěřitelnými 49 lety vznikl první koncept jazyka ML. Jedná se o programovací jazyk, který byl v mnoha ohledech přelomový, a to díky svému typovému systému, jenž byl zkombinovaný s pattern matchingem.