我必须创建一个关于定义为以下数据类型的 peano 数字的函数:
datatype 'a peano = P of ('a -> 'a) * 'a -> 'a
val zero = P(fn (f, x) => x)
我必须实现的函数查找 peano 参数的连续 peano 编号P(p)
。这是我写的:
fun suc (P(p)) = case P(p) of P(fn(f,x)=>x) => P(fn(f,x)=>f(x));
问题是我收到这些错误:
stdIn:4.33-4.36 Error: syntax error: deleting FN LPAREN
stdIn:4.43 Error: syntax error found at RPAREN
我不知道我做错了什么。请帮忙!