Lambda-számítás típusokkal

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 3 olvasói szavazat alapján történt.

Eredeti címe:

Lambda Calculus with Types

Könyv tartalma:

Ez a gyakorlatokkal ellátott kézikönyv váratlan matematikai szépségeket tár fel az eddig főként hardver- és szoftvertervezésre és -ellenőrzésre használt formalizmusokban. A lambda-kalkulus egy univerzális programozási nyelv prototípusát alkotja, amely tipizálatlan változatában a Lisp nyelvvel rokon, és amelyet az első szerző A lambda-kalkulus (1984) című klasszikusában tárgyalt.

A formalizmust azóta típusokkal bővítették, és funkcionális programozásban (Haskell, Clean), valamint bizonyítási asszisztensekben (Coq, Isabelle, HOL) használták, amelyeket informatikai termékek és matematikai bizonyítások tervezése és ellenőrzése során alkalmaznak. Ebben a könyvben a szerzők a lambda-terminusok tipizálásának három osztályára összpontosítanak: egyszerű típusok, rekurzív típusok és metszet típusok.

A kifejezések és típusok e három formalizmusában mutatkozik meg a váratlan matematikai szépség. A feldolgozás tekintélyes és átfogó, kimerítő bibliográfiával kiegészítve, és számos feladatot tartalmaz, hogy elmélyítse az olvasók megértését és növelje a típusok használatának magabiztosságát.