rho x = map (((flip mod) x).(\a -> a^2-1)) (rho x)
此函数将生成一个无限列表。而且我在GHCi中测试过，函数类型是
*Main> :t rho
rho :: Integral b => b -> [b]
如果我定义这样的函数
fun x = ((flip mod) x).(\a -> a^2-1)
类型是
*Main> :t fun
fun :: Integral c => c -> c -> c
我的问题是，Haskell 如何将函数类型推断为 b -> [b]？我们在这个函数中没有任何 [] 类型的数据。谢谢！
【问题讨论】：
map 具有以下类型：
map :: (a -> b) -> [a] -> [b]
所以，我们可以推导出map的参数类型：
(((flip mod) x).(\a -> a^2-1)) :: (a -> b)
(rho x) :: [a]
但是map的结果也是rho x的结果，所以：
(rho x) :: [b]
这意味着a 和b 是同一类型，所以：
rho :: ? -> [b]
如果我们检查映射函数，并让x 空闲，我们会找到类型：
\x -> ((flip mod) x).(\a -> a^2-1) :: Integral b => b -> (b -> b)
Integral b => b给了我们x的类型，(b -> b)与函数组合的类型统一，所以我们知道这个b和上一个是一样的。
rho :: Integral b => b -> [b]
【讨论】：
(rho x) 必须返回一个列表，因为它被传递给map，并且列表元素的类型可以从映射中发生的事情中推断出来。
【讨论】：