A λ-kalkulus az első funkcionális programnyelv annak ellenére,
hogy kidolgozásának időpontjában még nem is voltak számítógépek.
Ugyanakkor egy olyan egyszerű funkcionális programnyelv, amelyre minden
más magas szintű nyelven írt program átalakítható. Minden funkcionális
program egy λ-kifejezésnek tekinthető, a program végrehajtása pedig a
λ-kifejezés kiértékelését jelenti. Maga a λ-kalkulus az ehhez szükséges
átalakítási szabályokat adja meg. A könyv a λ-kalkulusnak a
funkcionális programozással való kapcsolatát hangsúlyozza, de a
λ-kalkulust az informatika más területein is használják. Szerepel
például a kiszámíthatósággal kapcsolatban mint a klasszikus számítási
modell, a szemantikaanyagban mint a denotációs szemantika alapja. A
programozási nyelvek témájában pedig mint egy olyan egyszerű nyelv,
amellyel leírhatók a programnyelvek alapfogalmai, és erről az egyszerű
nyelvről bizonyítható, hogy Turing-teljes.
Könyvünket az informatikus egyetemi hallgatók és informatikus
szakemberek használhatják eredményesen, és különösen azoknak ajánljuk,
akik funkcionális programnyelvekkel foglalkoznak.
Csörnyei Zoltán egyetemi docens az ELTE Informatikai Kar Programozási Nyelvek és Fordító-programok Tanszékének tanára.