A szabványos ML meghatározása

Olvasói vélemények

A Standard ML-ről szóló könyvről szóló kritikák ellentétes nézőpontokat emelnek ki: egyes olvasók értékelik a nyelvi definíciók pontos és matematikailag szigorú megközelítését, míg mások túlságosan rejtélyesnek és hozzáférhetetlennek találják, különösen a kezdők számára.

A könyv tömör, pontos és matematikailag precíz definíciót ad a Standard ML-ről, így ideális a megvalósításhoz és a helyességgel kapcsolatos érveléshez. Tanulságul szolgál arra, hogyan kell a nyelvi definíciókat megalkotni.

Az írást áthatolhatatlannak és túlságosan bonyolultnak tartják, ami arra utal, hogy inkább a haladó tudással rendelkezők, például a matematika doktora számára alkalmas. Aggodalomra ad okot, hogy a nehézsége miatt a kezdők számára csak korlátozottan hozzáférhető, és ez akadályozza a nyelv népszerűségét.

(3 olvasói vélemény alapján)

Eredeti címe:

Definition of Standard ML

Könyv tartalma:

A Standard ML egy általános célú programozási nyelv, amelyet nagy projektekhez terveztek. Ez a könyv a Standard ML formális definícióját adja meg a nyelvvel foglalkozók, köztük a felhasználók és a megvalósítók számára.

Mivel a számítógépes programoktól egyre inkább megkövetelik, hogy ellenálljanak a szigorú elemzésnek, annál fontosabb, hogy a nyelv, amelyen íródnak, teljes szigorral legyen definiálva. A nyelvi definíció egyik célja, hogy létrehozzon egy olyan jelentéselméletet, amelyen az egyes programok megértése alapulhat. Egy programozási nyelv megfelelő definiálásához a programozási nyelvtől eltérő jelölés valamilyen formáját kell használni.

A szigorúságra való törekvés miatt a matematikai jelölés kézenfekvő választás. A szerzők a szemantikai objektumaikat a Standard ML-től teljesen független matematikai jelölésmódban definiálták. Egy nyelv definiálásakor pontosan meg kell határozni az értékelési szabályokat is - azaz meg kell határozni, hogy a nyelv bármely kifejezésének kiértékelése milyen jelentést eredményez.

A definíció így egy implementáció formális specifikációját képezi. A szerzők eléggé kidolgozták elméletüket ahhoz, hogy értelmet adjanak kiértékelési szabályaiknak. A Standard ML definíciója a Standard ML alapvető hivatkozási pontja.

Az 1990-es megjelenése óta a nyelv implementációs technológiája óriási fejlődésen ment keresztül, és a felhasználók száma is megnőtt. Az átdolgozott kiadás számos új funkciót tartalmaz, elhagyja a kevéssé használt funkciókat, és kijavítja a definíciós hibákat.