A++ és a Lambda-kalkulus: A funkcionális programozás alapjai

Olvasói vélemények

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

Eredeti címe:

A++ and the Lambda Calculus: Principles of Functional Programming

Könyv tartalma:

A könyv bevezetést tartalmaz a Lambda-kalkulusba, mint minden „funkcionális programozási” nyelv elméleti alapjába.

A Lambda-kalkulust Alonzo Church amerikai logikus alkotta meg az 1930-as években, és 1941-ben megjelent műveiben dokumentálja 'A Lambda-átváltás kalkulusai' címmel. Alonzo Church egy matematikai logikai rendszert akart megfogalmazni, és nem állt szándékában programozási nyelvet létrehozni.

Rendszerének a programozással való lényegi kapcsolatát csak jóval később fedezte fel, abban az időben, amikor a számítógépek programozása kérdéssé vált. Az 'A++ és a Lambda-kalkulus' című könyv rövid bevezetést is tartalmaz az A++ oktatási programozási nyelvről, amely egy olyan minimális programozási nyelv, amelynek alapjául a Lambda-kalkulus szolgált. Az A++ célja, hogy inkább tanulási eszközként szolgáljon, mint gyakorlati problémák megoldására használt programozási nyelvként.

Az A++ elvileg kiváló eszköz arra, hogy megismerkedjünk a programozás lényegével és a programozási mintákkal, amelyek más, a való világgal való szembenézéshez szükséges nyelvekben is alkalmazhatók. Az A++-t részletesebben a könyvek mutatják be: „A++ A világ legkisebb programozási nyelve” (978-3-7469-3021-3) és a »Programmieren lernen mit A++« (978-3-7469-3199-9) című könyvekben.