函数式语言里有递归数据类型但没有递归函数类型的原因是：递归函数类型会带来严重的计算问题，导致计算机无法处理。如果一个函数类型是递归的，那么它必须包含自己作为参数或返回类型。当函数调用自身时，它的返回类型又是包含自身的类型，这样就形成了无限递归的类型定义。
一、函数式语言里有递归数据类型但没有递归函数类型的原因
函数式编程语言中的递归数据类型是指包含自己的数据类型，例如二叉树或链表。这些数据类型可以用递归的方式定义，即在类型定义中使用自身的引用。
然而，函数式编程语言中并没有递归函数类型。这是因为递归函数类型会带来严重的计算问题，导致计算机无法处理。具体来说，如果一个函数类型是递归的，那么它必须包含自己作为参数或返回类型。当函数调用自身时，它的返回类型又是包含自身的类型，这样就形成了无限递归的类型定义。这会导致计算机陷入无限递归的计算过程中，无法得出结果，最终导致程序崩溃。
为了避免这个问题，函数式编程语言中通常不允许定义递归函数类型。相反，它们鼓励使用高阶函数和其他技术来实现递归算法。这些技术可以避免类型的无限递归定义，从而使递归算法能够正常工作。
