A programozási nyelvek gyakorlati alapjai

Olvasói vélemények

A könyvet dicsérik a magas színvonalú anyagáért és a szerző programozási nyelvek elméletében szerzett mélyreható ismereteiért. Sok olvasó azonban túlságosan bonyolultnak és nem felhasználóbarátnak találja, a magyarázatok intuitív jellegének hiányára és a formális bizonyításokra való nagyfokú támaszkodásra hivatkozva.

⬤ Minőségi anyag és szép előadásmód
⬤ tömör és pontos definíciók
⬤ hiteles tudás a szerzőtől
⬤ részletes kódpéldák és módszertan a programozásban
⬤ magával ragadó témakör.

⬤ Nem felhasználóbarát
⬤ részben túlságosan elvont
⬤ elégtelen intuitív magyarázatok
⬤ nagymértékben támaszkodik a formális bizonyításokra
⬤ zavaró lehet az oktatók további támogatása nélkül.

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

Eredeti címe:

Practical Foundations for Programming Languages

Könyv tartalma:

Ez a szöveg a programozási nyelvek átfogó elméletét dolgozza ki, amely a típusrendszereken és a strukturális operációs szemantikán alapul. A nyelvi fogalmakat pontosan definiálja statikus és dinamikus szemantikájukkal, intuitívan és szigorúan egyaránt bemutatva az alapvető eszközöket, miközben csak elemi matematikára támaszkodik.

Ezeket az eszközöket a nyelvek tulajdonságainak elemzésére és bizonyítására használják, és keretet biztosítanak a nyelvi jellemzők kombinálásához és összehasonlításához. A fogalmak széles skálája magában foglalja az olyan alapvető adattípusokat, mint az összegek és szorzatok, a polimorf és absztrakt típusok, a dinamikus tipizálás, a dinamikus diszpozíció, az altípusok és a finomítási típusok, a szimbólumok és a dinamikus osztályozás, a párhuzamosság és a költségszemantika, valamint az egyidejűség és az elosztás.

A módszerek közvetlenül alkalmazhatók a nyelvi implementációban, a programokról való gondolkodás logikáinak fejlesztésében, valamint a nyelvek olyan tulajdonságainak formális verifikálásában, mint a típusbiztonság. Ez az alaposan átdolgozott második kiadás szinte minden fejezet végén feladatokat tartalmaz, valamint egy új fejezetet a típusfinomításokról.