5La chaleur
1Répondre
opérations relationnelles à l'aide incrément seulement, boucle, assigner, zéro
-1La chaleur
1Répondre
6La chaleur
1Répondre
Est-il vraiment possible d'enlever "Pi" de Calculus of Constructions?
8La chaleur
1Répondre
Est-il possible de déduire la source normalisée d'une fonction λ pure sur Haskell?
1La chaleur
1Répondre
EVAL: fonction indéfinie NIL en Lisp
1La chaleur
1Répondre
3La chaleur
4Répondre
Est-il possible de définir le combinateur Omega (λx.xx) dans Haskell moderne?
0La chaleur
1Répondre
1La chaleur
1Répondre
Haskell: Évaluation des expressions lambda manuellement - déterminer les types généraux