Charity est un langage de programmation expérimental purement fonctionnel, développé à l'Université de Calgary. Il ressort des idées de Hagino Tatsuya, et il est complètement fondé sur la théorie des catégories. Nonobstant les interactions entrées-sorties, tous les programmes programmés en Charity sont garantis de terminer. Cela signifie que ce langage n'est pas Turing-complet. Cependant, il est capable d'exprimer la fonction d'Ackermann et la rend plus expressive qu'une récursion primitive.... Lire la suite
Acheter la discographie: Acheter sur Amazon
| Jouer | Titre | Film | Type | Acheter une chanson |
|---|---|---|---|---|
| More Cake | Artiste | Acheter sur Amazon |