多态递归 - 语法和用途？

Question

我花了很多时间研究 learnyouahaskell，但我还没有找到关于多态递归的一个很好的解释！

我了解基本的递归结构：

myFunction :: [Int] -> [Int]
myFunction [] = []
myFunction (x : xs) = (\x -> x + 1) x : myFunction xs

多态递归会是什么样子？它有什么好处/用途？

Answer 1

多态递归的类型推断是不可判定的，这意味着编译器无法推断这样的函数的类型，即使它是正确类型的。

例如，一个普通的列表将List应用于两边的相同（多态）类型：

data List a = Cons a (List a)

虽然这种取自 Wikipedia article 的类型将 Nested 应用于两种不同的（多态）类型，a 和 [a]：

data Nested a = a :<: (Nested [a]) | Epsilon

从同一篇文章中，编译器将无法推断出相对简单的length 函数的类型

length Epsilon = 0
length (a :<: xs) = 1 + length xs

因为length 应用于第二个等式中两种不同类型的值Nested a 和Nested [a]。

解决办法是断言类型确实是Nested a -> Int。

length :: Nested a -> Int
length Epsilon = 0
length (a :<: xs) = 1 + length xs