个内的时候递归就出现了。如果你有formula_12个这种构造子，你可以定义formula_10为：例如，自然数可以被定义为使用构造子的归纳数据类型formula_15对应于这个结构的系统F类型是formula_18。这个类型的项由有类型版本的邱奇数构成，前几个是：如果我们反转curried参数的次序（比如formula_23），则formula_24的邱奇数是接受函数"f"作为参数并返回"f"的"n"次幂的函数。就是说，邱奇数是一个高阶函数 -- 它接受一个单一参数函数"f"，并返回另一个单一