Pokročilé témy v typoch a programovacích jazykoch

Recenzie čitateľov

Kniha je vysoko cenená ako nevyhnutná pre výskumníkov a nadšencov do programovacích jazykov, pretože ponúka jedinečný pohľad na zložité témy, ktoré nie sú zahrnuté inde.

⬤ Povinný text pre výskumníkov
⬤ napísaný kľúčovými odborníkmi
⬤ pokrýva témy, ktoré sa v inej literatúre nenachádzajú
⬤ nevyhnutné pre pochopenie závislého typovaného programovania
⬤ poskytuje hĺbkovú diskusiu o lineárnych typoch a riadkovom polymorfizme.

Potenciálne obmedzené publikum, pretože môže byť príliš technický pre začiatočníkov; niektoré témy sú výklenkové a nemusia osloviť všetkých programátorov.

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

Pôvodný názov:

Advanced Topics in Types and Programming Languages

Obsah knihy:

Dôkladný a prístupný úvod do celého radu kľúčových myšlienok typových systémov pre programovací jazyk.

Štúdium typových systémov pre programovacie jazyky sa v súčasnosti dotýka mnohých oblastí informatiky, od návrhu a implementácie jazykov až po softvérové inžinierstvo, sieťovú bezpečnosť, databázy a analýzu súbežných a distribuovaných systémov. Táto kniha ponúka prístupné úvody do kľúčových myšlienok v tejto oblasti s príspevkami odborníkov na jednotlivé témy.

Témy zahŕňajú presné typové analýzy, ktoré rozširujú jednoduché typové systémy, aby lepšie vystihli správanie systémov v čase behu, typové systémy pre nízkoúrovňové jazyky, aplikácie typov na uvažovanie o počítačových programoch, teóriu typov ako rámec na návrh sofistikovaných modulových systémov a pokročilé techniky typovej inferencie v štýle ML.

Advanced Topics in Types and Programming Languages nadväzuje na knihu Benjamina Piercea Types and Programming Languages (MIT Press, 2002); väčšina kapitol by mala byť prístupná čitateľom, ktorí poznajú základné notácie a techniky operačnej sémantiky a typových systémov - materiál obsiahnutý v prvej polovici predchádzajúcej knihy.

Knihu Advanced Topics in Types and Programming Languages možno použiť v triede a ako zdroj informácií pre odborníkov. Väčšina kapitol obsahuje cvičenia s rôznou náročnosťou, od rýchlych kontrol porozumenia až po náročné rozšírenia, mnohé s riešeniami.