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

Editoval Benjamin C. Pierce
Médiá z
MIT stlačte
Massachusettský Inštitút Technológie
Cambridge, Massachusetts 02142
http://mitpress.mit.edu
ISBN 0-262-16228-8

ewstranslate

Obálka fotografie zo série Secrets of the ENIAC od Benjamina C. Pierceho.

Štúdium typových systémov pre programovacie jazyky v súčasnosti pokrýva mnoho oblastí informatiky, od návrhu a implementácie jazykov po softvérové ​​inžinierstvo, zabezpečenie sietí, databázy a analýzu konkurenčných a distribuovaných systémov. Táto kniha poskytuje prístupné úvody ku kľúčovým myšlienkam v tejto oblasti s odbornými vstupmi do každej témy.

Zahrnuté témy zahŕňajú precízne analýzy typu, ktoré rozširujú systémy jednoduchého typu, aby im umožnili lepšie vyhodnotiť časové správanie systémov; systémy typu pre jazyky nízkej úrovne; uvažovanie o typoch aplikácií pre počítačový softvér; teória typov ako rámec pre návrh sofistikovaných modulových systémov; a pokročilé techniky odvodzovania typu ML.

Pokročilé témy v programovacích typoch a jazykoch vychádzajú z typov a programovacích jazykov Benjamina Pierceho (MIT Press, 2002); väčšina kapitol by mala byť prístupná čitateľom oboznámeným so základnými notáciami a technikami prevádzkovej sémantiky a typových systémov - materiál obsiahnutý v prvej polovici predchádzajúcej knihy.

Pokročilé témy v programovacích typoch a jazykoch môžu byť použité v učebni a ako zdroj pre profesionálov. Väčšina kapitol obsahuje cvičenia zamerané na rôzne ťažkosti, od rýchlych kontrol porozumenia po náročné rozšírenia, mnohé s riešeniami.

Celý zoznam a predslov sú k dispozícii tu .

Benjamin C. Pierce je profesorom informatiky a počítačových vied na Pennsylvánskej univerzite.