A típusok és programozási nyelvek haladó témái

Olvasói vélemények

A könyvet a programozási nyelvek kutatói és szerelmesei számára nélkülözhetetlennek tartják, mivel egyedülálló betekintést nyújt a máshol nem tárgyalt összetett témákba.

⬤ Kötelező szöveg a kutatók számára
⬤ kulcsszakértők által írt
⬤ olyan témákat tárgyal, amelyek más szakirodalomban nem találhatók
⬤ elengedhetetlen a függő tipizáltságú programozás megértéséhez
⬤ mélyreható tárgyalást nyújt a lineáris típusokról és a sorpolimorfizmusról.

Potenciálisan korlátozott célközönség, mivel a kezdők számára túlságosan technikai jellegű lehet; egyes témák hiánypótlóak, és nem minden programozó számára vonzóak.

(4 olvasói vélemény alapján)

Eredeti címe:

Advanced Topics in Types and Programming Languages

Könyv tartalma:

Alapos és közérthető bevezetés a programozási nyelvek típusrendszereinek számos kulcsfontosságú ötletébe.

A programozási nyelvek típusrendszereinek tanulmányozása ma már a számítástechnika számos területét érinti, a nyelvtervezéstől és -megvalósítástól a szoftverfejlesztésen, a hálózati biztonságon, az adatbázisokon és az egyidejű és elosztott rendszerek elemzésén át. Ez a könyv közérthető bevezetést nyújt a terület kulcsfontosságú gondolataiba, az egyes témák szakértőinek hozzájárulásával.

A tárgyalt témák között szerepelnek a precíz típuselemzések, amelyek az egyszerű típusrendszerek kiterjesztésével jobban megragadhatóvá teszik a rendszerek futásidejű viselkedését; alacsony szintű nyelvek típusrendszerei; a típusok alkalmazásai a számítógépes programokról való gondolkodásban; a típuselmélet mint a kifinomult modulrendszerek tervezésének kerete; valamint az ML-stílusú típuskövetkeztetés fejlett technikái.

Az Advanced Topics in Types and Programming Languages Benjamin Pierce Types and Programming Languages (MIT Press, 2002) című könyvére épül; a fejezetek többsége a műveleti szemantika és a típusrendszerek alapvető jelöléseivel és technikáival - a korábbi könyv első felében tárgyalt anyaggal - ismerkedő olvasók számára is hozzáférhető.

A Advanced Topics in Types and Programming Languages (Haladó témák a típusokban és programozási nyelvekben) használható az osztályteremben és a szakemberek számára. A legtöbb fejezet tartalmaz feladatokat, amelyek nehézsége a gyors megértésellenőrzéstől a kihívást jelentő bővítésekig terjed, sok esetben megoldásokkal.