lambda-calculus

4La chaleur

2Répondre

lambda calcul pour la programmation fonctionnelle

en lambda calcul (λ x. Λ y λ s λ z. Xs (ysz)) est utilisé pour l'addition de deux chiffres de l'Église comment pouvons-nous expliquer cela, y at-il une bonne ressource le lambda calcul pour la program

-2La chaleur

1Répondre

Comment puis-je évaluer une expression?

Comment évaluer une expression, avec une liste de valeurs pour les variables qu'elle contient? eval::[(Variable,Integer)]->Expr->Integer Exemple: eval[("x",2), ("y",4)](Mult(Plus(Var "x") (Const))(V

-1La chaleur

1Répondre

Comment puis-je écrire une addition de deux éléments dans une représentation de chaîne?

Par exemple, je veux ajouter deux expressions e1 et e2 toString (Plus e1 e)= ?? Je suppose que ce serait quelque chose comme toString (Plus e1 e)= ((toString e1) ++ "+" ++ (toString e2))

0La chaleur

2Répondre

Comment convertir une variable en chaîne?

Par exemple pour que cela fonctionne comme ça toString (Var x) = "x"

6La chaleur

3Répondre

Chiffres d'église: comment coder zéro dans le calcul lambda?

J'apprends le calcul lambda, mais je ne peux pas semblent comprendre le codage pour le nombre 0. comment est « fonction qui prend une fonction et une seconde valeur et applique la fonction zéro fois s

8La chaleur

1Répondre

Comment écrire une liste vide en utilisant les combinateurs S, K et I?

Je sais que: (cons [p] [q]) is ((s ((s i) (k [p]))) (k [q])) (car [lst]) is ([lst] k) (cdr [lst]) is ([lst] (k i)) Je veux écrire une liste comme celle (cons [a] (cons [b] (cons [c] [nil]))) , q

1La chaleur

2Répondre

Quelles machines élégantes et complètes de Turing * vous connaissez? Y en a-t-il un dans le livre?

Le calcul lambda est bien sûr assez élégant, mais cela ne vous dérange-t-il pas qu'il y ait cette asymétrie entre l'entrée et la sortie d'une fonction? C'est à dire. vous pouvez faire en sorte que la