SML et les chiffres église

Question

J'ai une mission où je dois mettre en œuvre des chiffres de l'église en utilisant le SML datatype: datatype 'une église = C (' un -'A) * 'a ->' a

I avoir à écrire la fonction créer: int -> « une église et une fonction churchToint jusqu'à présent, j'ai le code suivant:

datatype 'a church = C of ('a -> 'a) * 'a -> 'a 
val ZERO = C(fn (f,x) => x) 
fun subCreate 0 (f,x) = x 
    | subCreate n (f,x) = f (subCreate (n-1) (f,x)) 
fun create n = C(fn (f,x) => subCreate n (f,x)); 
fun churchToInt cn = cn (fn x => x + 1) 0; 

Je sais que je suis assez proche. Pouvez-vous s'il vous plaît m'aider à mettre en œuvre correctement? Merci

Answer 1

Vous avez raison, vous êtes assez proche. Il n'y a que deux erreurs mineures dans votre fonction churchToInt:

1. Vous ne déballez pas le numéro de l'église. C'est à dire. vous traitez votre argument cn comme une fonction, mais churchToInt devrait accepter un Ccontenant une fonction, pas une fonction elle-même. Donc, changez-le en fun churchToInt (C cn) =, pour déballer la fonction via la correspondance de motif.

2. Vous appliquez deux arguments à la fonction en utilisant le style curry, mais C a été défini pour contenir une fonction prenant un tuple. Donc, au lieu de cn (fn x => x+1) 0, écrivez cn ((fn x => x+1), 0).

Avec ces deux modifications, votre code fonctionne correctement.