Praktické základy programovacích jazykov

Recenzie čitateľov

Kniha je oceňovaná pre svoju vysokú kvalitu a hlboké znalosti autora v oblasti teórie programovacích jazykov. Mnohí čitatelia ju však považujú za príliš zložitú a málo užívateľsky prívetivú, pričom poukazujú na nedostatok intuície vo vysvetľovaní a na veľkú závislosť od formálnych dôkazov.

⬤ Vysokokvalitný materiál a krásna prezentácia
⬤ stručné a presné definície
⬤ autoritatívne znalosti autora
⬤ podrobné príklady kódu a metodiky v programovaní
⬤ pútavá téma.

⬤ Nie je užívateľsky prívetivý
⬤ v niektorých častiach príliš abstraktný
⬤ nedostatočné intuitívne vysvetlenia
⬤ veľké spoliehanie sa na formálne dôkazy
⬤ môže byť mätúci bez ďalšej podpory zo strany vyučujúcich.

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

Pôvodný názov:

Practical Foundations for Programming Languages

Obsah knihy:

Tento text rozvíja komplexnú teóriu programovacích jazykov založenú na typových systémoch a štrukturálnej operačnej sémantike. Pojmy jazykov sú presne definované ich statickou a dynamickou sémantikou, pričom základné nástroje sú prezentované intuitívne aj rigorózne a opierajú sa len o elementárnu matematiku.

Tieto nástroje sa používajú na analýzu a dokazovanie vlastností jazykov a poskytujú rámec na kombinovanie a porovnávanie vlastností jazykov. Široká škála pojmov zahŕňa základné dátové typy, ako sú súčty a súčiny, polymorfné a abstraktné typy, dynamické typovanie, dynamické odosielanie, podtypovanie a spresňovanie typov, symboly a dynamickú klasifikáciu, paralelizmus a sémantiku nákladov a súbežnosť a distribúciu.

Metódy sú priamo aplikovateľné na implementáciu jazykov, na vývoj logík na uvažovanie o programoch a na formálnu verifikáciu vlastností jazykov, ako je napríklad typová bezpečnosť. Toto dôkladne prepracované druhé vydanie obsahuje cvičenia na konci takmer každej kapitoly a novú kapitolu o spresňovaní typov.