A++ a Lambda Calculus: Princípy funkčného programovania

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

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

Obsah knihy:

Kniha obsahuje úvod do lambda kalkulu ako teoretického základu všetkých jazykov „funkcionálneho programovania“. Lambda kalkulačku vytvoril americký logik Alonzo Church v 30.

rokoch 20. storočia a je zdokumentovaná v jeho prácach, ktoré vyšli v roku 1941 pod názvom „The Calculi of Lambda Conversion“. Alonzo Church chcel sformulovať matematický logický systém a nemal v úmysle vytvoriť programovací jazyk.

Vnútorný vzťah jeho systému k programovaniu bol objavený oveľa neskôr v čase, keď sa programovanie počítačov stalo problémom. Kniha „A++ a lambda kalkul“ obsahuje aj stručný úvod do vzdelávacieho programovacieho jazyka A++, minimálneho programovacieho jazyka, ktorý bol vytvorený na základe lambda kalkulu.

Účelom jazyka A++ je slúžiť skôr ako nástroj na učenie než ako programovací jazyk používaný na riešenie praktických problémov. A++ má byť vynikajúcim nástrojom na oboznámenie sa s jadrom programovania a s programovými vzormi, ktoré sa dajú použiť v iných jazykoch potrebných na konfrontáciu s reálnym svetom.

A++ je podrobnejšie predstavený v knihách: A++ The Smalllest Programming Language in the World“ (978-3-7469-3021-3) a v publikácii Programmieren lernen mit A++ (978-3-7469-3199-9).