Note :
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
A++ and the Lambda Calculus: Principles of Functional Programming
Le livre contient une introduction au calcul lambda, fondement théorique de tous les langages de programmation fonctionnelle.
Le calcul lambda a été créé par le logicien américain Alonzo Church dans les années 1930 et est documenté dans ses travaux publiés en 1941 sous le titre "The Calculi of Lambda Conversion". Alonzo Church voulait formuler un système mathématique logique et n'avait pas l'intention de créer un langage de programmation.
La relation intrinsèque de son système avec la programmation a été découverte bien plus tard, à une époque où la programmation des ordinateurs devenait un problème. Le livre "A++ and the Lambda Calculus" contient également une brève introduction au langage de programmation éducatif A++, un langage de programmation minimal qui a été construit sur la base du Lambda Calculus. Le but de A++ est de servir d'instrument d'apprentissage plutôt que de langage de programmation utilisé pour résoudre des problèmes pratiques.
A++ est censé être un excellent outil pour se familiariser avec le cœur de la programmation et avec les modèles de programmation qui peuvent être appliqués dans d'autres langages nécessaires pour faire face au monde réel. A++ est présenté plus en détail dans les livres : A++ The Smallest Programming Language in the World (978-3-7469-3021-3) et Programmieren lernen mit A++ (978-3-7469-3199-9).
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)