Typy a programovací jazyky

Recenze čtenářů

Kniha „Types and Programming Languages“ od Benjamina Pierce je všeobecně považována za vynikající úvod do teorie programovacích jazyků, zejména typových systémů. Nabízí jasný a strukturovaný přístup, díky němuž je přístupná čtenářům s různou úrovní předchozích znalostí. Zatímco obsah je chválen pro svou hloubku a komplexnost, někteří uživatelé považují verzi pro Kindle za problematickou a uvádějí problémy s formátováním a čitelností.

Jasný a hovorový styl psaní činí složitá témata přístupnějšími.

Přehledné a komplexní pokrytí programovacích jazyků a typových systémů.

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

Původní název:

Types and Programming Languages

Obsah knihy:

Komplexní úvod do typových systémů a programovacích jazyků.

Typový systém je syntaktická metoda pro automatickou kontrolu nepřítomnosti určitých chybných chování pomocí klasifikace programových vět podle druhů hodnot, které vypočítávají. Studium typových systémů - a programovacích jazyků z hlediska teorie typů - má důležité aplikace v softwarovém inženýrství, návrhu jazyků, vysoce výkonných překladačích a bezpečnosti.

Tento text poskytuje ucelený úvod jak do typových systémů v informatice, tak do základní teorie programovacích jazyků. Přístup je pragmatický a operativní; každý nový koncept je motivován příklady z programování a teoretičtější části vycházejí z potřeb implementace. Každá kapitola je doplněna četnými cvičeními a řešeními a také běžící implementací, která je k dispozici na webu. Závislosti mezi jednotlivými kapitolami jsou výslovně označeny, což čtenářům umožňuje zvolit si různé cesty k projití materiálu.

Mezi základní témata patří netypovaný lambda-kalkulus, jednoduché typové systémy, rekonstrukce typů, univerzální a existenciální polymorfismus, podtypování, ohraničená kvantifikace, rekurzivní typy, druhy a typové operátory. Rozšířené případové studie rozvíjejí různé přístupy k modelování vlastností objektově orientovaných jazyků.