A++ și calculul Lambda: Principii de programare funcțională

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

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

Conținutul cărții:

Cartea conține o introducere în Calculul Lambda ca fundament teoretic al tuturor limbajelor de „programare funcțională”.

Calculul Lambda a fost creat de logicianul american Alonzo Church în anii 1930 și este documentat în lucrările sale publicate în 1941 sub titlul „The Calculi of Lambda Conversion”. Alonzo Church a dorit să formuleze un sistem logic matematic și nu a avut intenția de a crea un limbaj de programare.

Relația intrinsecă a sistemului său cu programarea a fost descoperită mult mai târziu, într-o perioadă în care programarea calculatoarelor a devenit o problemă. Cartea „A++ and the Lambda Calculus” conține, de asemenea, o scurtă introducere în limbajul de programare educațional A++, un limbaj de programare minimal care a fost construit având la bază calculul Lambda. Scopul lui A++ este de a servi mai degrabă ca instrument de învățare decât ca limbaj de programare utilizat pentru a rezolva probleme practice.

Se presupune că A++ este un instrument excelent pentru a se familiariza cu nucleul programării și cu modelele de programare care pot fi aplicate în alte limbaje necesare pentru a face față lumii reale. A++ este prezentat mai în detaliu în cărțile: „A++ Cel mai mic limbaj de programare din lume” (978-3-7469-3021-3) și în «Programmieren lernen mit A++» (978-3-7469-3199-9).