Explorez le calcul lambda non typé, l’un des systèmes les plus fondamentaux de l’informatique. En commençant par un ensemble de règles remarquablement simple, tout calcul est possible. Mais ce n’est pas parce que les règles sont simples que le calcul lambda est facile : vous aurez besoin d’intelligence et de créativité pour arriver à un point où vous pouvez calculer n’importe quoi. Cette application vous permet de créer visuellement des expressions de calcul lambda (lambdas, variables et appels de fonction) et de les évaluer. Essayez booleans, chiffres d’église, ou le combinateur Y. Fonctionne très bien sur les tablettes! Sur les téléphones, fonctionne mieux en mode paysage.
Détails du programme
- Catégorie: Éducation > Outils d’enseignement et de formation
- Éditeur: Alan Pierce
- Licence: Gratuit
- Prix: N/A
- Version: 1.1.0
- Plate-forme: android