Esplora il calcolo lambda non tipizzato, uno dei sistemi più fondamentali nell'informatica. A partire da un insieme straordinariamente semplice di regole, tutto il calcolo è possibile. Ma solo perché le regole sono semplici non significa che il calcolo lambda sia facile: avrai bisogno di un po 'di intelligenza e creatività per arrivare a un punto in cui puoi calcolare qualsiasi cosa. Questa app ti consente di creare visivamente espressioni di calcolo lambda (lambdas, variabili e chiamate di funzione) e valutarle. Prova i valori booleani, i numeri della chiesa o il combinatore Y. Funziona alla grande sui tablet! Sui telefoni, funziona meglio in modalità orizzontale.
Dettagli del programma
- Categoria: Istruzione > Strumenti didattici e di formazione
- Editore: Alan Pierce
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 1.1.0
- Piattaforma: android