Definiția ML standard

Recenzii ale cititorilor

Recenzile pentru această carte despre Standard ML evidențiază perspective contrastante: unii cititori apreciază abordarea sa precisă și riguroasă din punct de vedere matematic a definițiilor limbajului, în timp ce alții o consideră prea criptică și inaccesibilă, în special pentru începători.

Cartea oferă o definiție succintă, exactă și precisă din punct de vedere matematic a Standard ML, ceea ce o face ideală pentru implementare și raționament despre corectitudine. Cartea servește drept lecție pentru modul în care ar trebui elaborate definițiile limbajelor.

Scrierea este considerată impenetrabilă și prea complexă, sugerând că este mai potrivită pentru cei cu cunoștințe avansate, cum ar fi doctorii în matematică. Există îngrijorarea că dificultatea poate limita accesibilitatea sa pentru începători și poate împiedica popularitatea limbajului.

(pe baza a 3 recenzii ale cititorilor)

Titlul original:

Definition of Standard ML

Conținutul cărții:

Standard ML este un limbaj de programare de uz general conceput pentru proiecte de anvergură. Această carte oferă o definiție formală a Standard ML în beneficiul tuturor celor interesați de limbaj, inclusiv al utilizatorilor și implementatorilor.

Deoarece programele de calculator trebuie să reziste din ce în ce mai mult unei analize riguroase, este cu atât mai important ca limbajul în care acestea sunt scrise să fie definit cu toată rigoarea. Un scop al definiției unui limbaj este stabilirea unei teorii a semnificațiilor pe care se poate baza înțelegerea anumitor programe. Pentru a defini corect un limbaj de programare, este necesar să se utilizeze o altă formă de notație decât un limbaj de programare.

Având în vedere o preocupare pentru rigoare, notația matematică este o alegere evidentă. Autorii și-au definit obiectele semantice în notație matematică care este complet independentă de ML standard. În definirea unui limbaj trebuie, de asemenea, să se definească cu precizie regulile de evaluare, adică să se definească ce semnificație rezultă din evaluarea oricărei fraze a limbajului.

Definiția constituie astfel o specificație formală pentru o implementare. Autorii au dezvoltat suficient din teoria lor pentru a da sens regulilor lor de evaluare. Definiția ML standard este punctul de referință esențial pentru ML standard.

De la publicarea sa în 1990, tehnologia de implementare a limbajului a avansat enorm, iar numărul de utilizatori a crescut. Ediția revizuită include o serie de caracteristici noi, omite caracteristici puțin utilizate și corectează greșeli de definire.