Definícia štandardného ML

Recenzie čitateľov

Recenzie na túto knihu o štandardnom ML zdôrazňujú protichodné pohľady: niektorí čitatelia oceňujú jej presný a matematicky prísny prístup k definíciám jazyka, zatiaľ čo iní ju považujú za príliš záhadnú a neprístupnú, najmä pre začiatočníkov.

Kniha poskytuje stručnú, presnú a matematicky precíznu definíciu Standard ML, vďaka čomu je ideálna na implementáciu a zdôvodňovanie správnosti. Slúži ako poučenie o tom, ako by sa mali vytvárať definície jazyka.

Písmo sa považuje za nepreniknuteľné a príliš zložité, čo naznačuje, že je vhodnejšie pre osoby s pokročilými znalosťami, napríklad pre doktorandov matematiky. Existuje obava, že náročnosť môže obmedziť jeho dostupnosť pre začiatočníkov a brániť popularite jazyka.

(na základe 3 čitateľských recenzií)

Pôvodný názov:

Definition of Standard ML

Obsah knihy:

Štandardný ML je univerzálny programovací jazyk určený na veľké projekty. Táto kniha poskytuje formálnu definíciu Standard ML v prospech všetkých, ktorí sa zaoberajú týmto jazykom, vrátane používateľov a implementátorov.

Keďže sa od počítačových programov čoraz častejšie vyžaduje, aby obstáli v prísnej analýze, je o to dôležitejšie, aby bol jazyk, v ktorom sú napísané, definovaný s plnou prísnosťou. Jedným z účelov definície jazyka je vytvoriť teóriu významov, o ktorú sa môže opierať chápanie konkrétnych programov. Na správne definovanie programovacieho jazyka je potrebné použiť inú formu zápisu ako programovací jazyk.

Vzhľadom na záujem o prísnosť je matematický zápis jasnou voľbou. Autori definovali svoje sémantické objekty v matematickej notácii, ktorá je úplne nezávislá od štandardného ML. Pri definovaní jazyka treba presne definovať aj pravidlá vyhodnocovania - to znamená definovať, aký význam vyplýva z vyhodnotenia ľubovoľnej frázy jazyka.

Definícia tak predstavuje formálnu špecifikáciu pre implementáciu. Autori rozvinuli dostatok svojej teórie, aby dali zmysel svojim pravidlám vyhodnocovania. Definícia štandardného ML je základným referenčným bodom pre štandardný ML.

Od jej vydania v roku 1990 sa implementačná technológia jazyka veľmi posunula dopredu a počet používateľov sa zvýšil. Revidované vydanie obsahuje množstvo nových funkcií, vynecháva málo používané funkcie a opravuje chyby v definíciách.