Rozdział 9. ML
ML jest językiem funkcyjnym ogólnego przeznaczenia opracowanym przez Robina Milnera oraz zespół pod jego kierownictwem na Uniwersytecie w Edynburgu w latach siedemdziesiątych. Język ten powstał na bazie metajęzyka zaprojektowanego do opisywania dowodów matematycznych. Najcenniejszą własnością projektu języka jest użycie algorytmu wnioskowania Hindleya-Milnera, który zastosowano w wielu statycznych systemach typów. Język zainspirował powstanie między innymi takich języków, jak Standard ML, Caml, Haskell i F#.
Get Wielkie umysły programowania. Jak myślą i pracują twórcy najważniejszych języków now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
