如何获得数字

Question

我与SML练习，我在做一个小任务，我们必须实现定义为Church数教堂的前身：

datatype 'a church = C of ('a -> 'a) * 'a -> 'a 

例如VAL

ZERO = C(fn (f,x) => x) 

我已经实现的功能：

create: int -> 'a church 
churchToInt: 'a church -> int 

和SUC返回的继任者教会的数字。

现在我要实现该功能

PRED: 'a church -> 'a church * 'a church 

它返回（前身，当前标记）的元组。我不能使用churchToInt，我应该直接使用教会的数字。显然这可以通过传递一个特定的论证在一行中解决。

我正在考虑一遍又一遍地使用SUC，直到我们输入正确的数字，但没有办法让我比较2个教会的数字。我完全停留在此。

Answer 1

你必须强迫它在你的subPred中使用int。

Answer 2

假设你想构建的功能，让你预测N。 （0,1）（1,2）....（n，n + 1） 并且构造succPair函数 以从（n-1，n）到（N，N + 1） ，然后应用在（0,1） succPairñ次和最后一步，你只适用snd对我描述 然后轰最后的结果！你得到你的预测N 看这里得到的图片http://m2-info-upmc.blogspot.fr/2012/11/predecesseur-sur-les-entiers-de-church.html