3813100227

Rozdział 2

Podstawy programowania w języku Standard ML ’97

Język ML został opracowany w latach 80-tych XX wieku w Edynburgu przez Robina Mil-nera i jego współpracowników. Początkowo był projektowany jako metajęzyk systemu dowodzenia twierdzeń LCF (ang. MetaLanguage, stąd nazwa ML). Wkrótce jednak stał się językiem programowania ogólnego przeznaczenia. Robin Milner, Mads Tofte i Robert Har-per opublikowali w 1990 pierwszy standard języka [116, 117], zwanego od tej pory Standard ML-em, lub krócej SML-em. Twórcy innych dialektów, którzy nie podporządkowali się standardowi, zaczęli na bazie ML-a rozwijać własne języki (spośród nich najbardziej znany jest Objective Caml). Aktualna definicja języka [118], opracowana wspólnie przez wspomnianych autorów i Davida MacQueena, pochodzi z roku 1997. Jeżeli zachodzi potrzeba rozróżnienia obu standardów, mówi się o SML-u ’90 i SML-u ’97.

Standard ML zawiera wiele konstrukcji spotykanych w nowoczesnych językach programowania, których brakuje w popularnych językach, takich jak Pascal i C: ścisły statyczny system typów zapewniający pełne bezpieczeństwo w sensie ochrony pamięci i innych błędów czasu wykonania, automatyczne zarządzanie pamięcią, kontrolę i rekonstrukcję typów, polimorfizm parametryczny, zarówno trwałe jak i ulotne struktury danych, w szczególności algebraiczne typy danych datatype i mechanizm wzorców do ich przetwarzania, wyjątki, typy abstrakcyjne, jeden z najbardziej rozbudowanych systemów modularyzacji i specyfikacji programów (zawierający moduły z parametrami), itd. Ma jednocześnie wygodne mechanizmy wspierające programowanie funkcjonalne i programowanie współbieżne. Jako jedyny używany w praktyce język programowania ma całkowicie formalną definicję matematyczną. Posiada również kilka efektywnych i stabilnych implementacji.

Bieżący rozdział, mający charakter zwięzłego podręcznika programisty, jest poświęcony przedstawieniu podstawowych konstrukcji SML-a. Więcej informacji można znaleźć w po-pularaych podręcznikach [135, 179,50,68,31, 112,23, 157, 154, 144].'

Aktualną hipertekstową bibliografię SML-a (wraz z tekstami dostępnymi w wersji elektronicznej) można zna-