Hodnotenie:
Kniha Benjamina Piercea „Typy a programovacie jazyky“ je všeobecne považovaná za vynikajúci úvod do teórie programovacích jazykov, najmä typových systémov. Ponúka jasný a štruktúrovaný prístup, vďaka čomu je prístupná čitateľom s rôznou úrovňou predchádzajúcich znalostí. Zatiaľ čo obsah je chválený pre svoju hĺbku a komplexnosť, niektorí používatelia považujú verziu pre Kindle za problematickú, pričom uvádzajú problémy s formátovaním a čitateľnosťou.
Výhody:Jasný a konverzačný štýl písania robí zložité témy prístupnejšími.
Nevýhody:Dobre organizované a komplexné pokrytie programovacích jazykov a typových systémov.
(na základe 31 čitateľských recenzií)
Types and Programming Languages
Komplexný úvod do typových systémov a programovacích jazykov.
Typový systém je syntaktická metóda na automatickú kontrolu neprítomnosti určitého chybného správania klasifikáciou programových viet podľa druhu hodnôt, ktoré vypočítavajú. Štúdium typových systémov - a programovacích jazykov z pohľadu teórie typov - má dôležité aplikácie v softvérovom inžinierstve, návrhu jazykov, vysoko výkonných kompilátoroch a bezpečnosti.
Tento text poskytuje komplexný úvod do typových systémov v informatike a do základnej teórie programovacích jazykov. Prístup je pragmatický a operatívny; každý nový koncept je motivovaný príkladmi z programovania a teoretickejšie časti vychádzajú z potrieb implementácie. Každú kapitolu sprevádzajú početné cvičenia a riešenia, ako aj bežiaca implementácia, ktorá je k dispozícii prostredníctvom webu. Závislosti medzi jednotlivými kapitolami sú explicitne identifikované, čo umožňuje čitateľom zvoliť si rôzne cesty v rámci materiálu.
Medzi základné témy patria netypizovaný lambda-kalkulus, jednoduché typové systémy, rekonštrukcia typov, univerzálny a existenčný polymorfizmus, subtypizácia, ohraničená kvantifikácia, rekurzívne typy, druhy a typové operátory. Rozšírené prípadové štúdie rozvíjajú rôzne prístupy k modelovaniu vlastností objektovo orientovaných jazykov.
