Pokročilá témata v typech a programovacích jazycích

Recenze čtenářů

Kniha je považována za nezbytnou pro výzkumníky a nadšence do programovacích jazyků a nabízí jedinečný pohled na složitá témata, která nejsou jinde popsána.

⬤ Povinný text pro výzkumné pracovníky
⬤ napsaný klíčovými odborníky
⬤ pokrývá témata, která v jiné literatuře nenajdete
⬤ nezbytná pro pochopení závislostně typovaného programování
⬤ poskytuje důkladnou diskusi o lineárních typech a řádkovém polymorfismu.

Potenciálně omezené publikum, protože pro začátečníky může být příliš technický; některá témata jsou výklenková a nemusí oslovit všechny programátory.

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

Původní název:

Advanced Topics in Types and Programming Languages

Obsah knihy:

Důkladný a přístupný úvod do řady klíčových myšlenek typových systémů pro programovací jazyk.

Studium typových systémů pro programovací jazyky dnes zasahuje do mnoha oblastí informatiky, od návrhu a implementace jazyků až po softwarové inženýrství, síťovou bezpečnost, databáze a analýzu souběžných a distribuovaných systémů. Tato kniha nabízí přístupné úvody do klíčových myšlenek v této oblasti s příspěvky odborníků na jednotlivá témata.

Mezi probíraná témata patří přesné typové analýzy, které rozšiřují jednoduché typové systémy tak, aby lépe postihovaly chování systémů za běhu; typové systémy pro nízkoúrovňové jazyky; aplikace typů pro uvažování o počítačových programech; teorie typů jako rámec pro návrh sofistikovaných modulových systémů; a pokročilé techniky typové inference ve stylu ML.

Advanced Topics in Types and Programming Languages navazuje na knihu Benjamina Pierce Types and Programming Languages (MIT Press, 2002); většina kapitol by měla být přístupná čtenářům, kteří jsou obeznámeni se základními notacemi a technikami operační sémantiky a typových systémů - tedy s materiálem, který je obsažen v první polovině předchozí knihy.

Knihu Advanced Topics in Types and Programming Languages lze využít ve výuce i jako zdroj informací pro odborníky. Většina kapitol obsahuje cvičení s různou obtížností, od rychlých kontrol porozumění až po náročná rozšíření, mnohá s řešením.