Praktické základy programovacích jazyků

Recenze čtenářů

Kniha je oceňována pro svou vysokou kvalitu a hluboké znalosti autora v oblasti teorie programovacích jazyků. Mnozí čtenáři ji však považují za příliš složitou a uživatelsky nepřívětivou, přičemž poukazují na nedostatek intuice ve výkladech a velké spoléhání na formální důkazy.

⬤ Vysoce kvalitní materiál a krásná prezentace
⬤ stručné a přesné definice
⬤ autoritativní znalosti autora
⬤ podrobné příklady kódu a metodika programování
⬤ poutavé téma.

⬤ Nepříliš uživatelsky přívětivé
⬤ místy příliš abstraktní
⬤ nedostatečně intuitivní vysvětlení
⬤ velké spoléhání na formální důkazy
⬤ bez další podpory vyučujících může být matoucí.

(na základě 5 hodnocení čtenářů)

Původní název:

Practical Foundations for Programming Languages

Obsah knihy:

Tento text rozvíjí komplexní teorii programovacích jazyků založenou na typových systémech a strukturální operační sémantice. Pojmy jazyků jsou přesně definovány pomocí jejich statické a dynamické sémantiky, přičemž základní nástroje jsou představeny jak intuitivně, tak přísně, přičemž se opírají pouze o elementární matematiku.

Tyto nástroje slouží k analýze a dokazování vlastností jazyků a poskytují rámec pro kombinování a porovnávání vlastností jazyků. Široká škála pojmů zahrnuje základní datové typy, jako jsou součty a součin, polymorfní a abstraktní typy, dynamické typování, dynamické odesílání, podtypování a upřesňování typů, symboly a dynamickou klasifikaci, paralelismus a nákladovou sémantiku a souběžnost a distribuci.

Metody jsou přímo použitelné při implementaci jazyků, při vývoji logik pro uvažování o programech a při formálním ověřování vlastností jazyků, jako je typová bezpečnost. Toto důkladně přepracované druhé vydání obsahuje cvičení na konci téměř každé kapitoly a novou kapitolu o zpřesňování typů.