Question

我写了以下简单的函数

u f=f.f

根据ghci，它具有

的类型签名

u :: (b -> b) -> b -> b

然而，该类型签名过于严格。 Haskell强制要求我们的输入属于(b -> b)类型，而不一定需要它。例如，函数(:[])的类型签名为

(:[]) :: a -> [a]

哪个不是(b -> b)形式，（除非您允许无限类型），因此无法传递给u。但是，您可以自己撰写(:[])。

g=(:[]).(:[])

这样可以使用

类型

(:[]).(:[]) :: a -> [[a]]

原则上，我应该将其传递给u。

我试图自己编写一个新的签名来替换生成的签名，但我无法想出一种方法来表达函数的要求。我总是提出编译器提供的相同类型签名。我们可以提供类型签名来削弱u，以便像(:[])这样的函数可以传递给它吗？

Answer 1

有许多不同的功能可以针对特定情况执行此操作，但通常无效。

u1 :: (forall a. a -> f a) -> b -> f (f b)
u2 :: (forall a. f a -> a) -> f (f b) -> b

并且可能无限多。但功能

u f x = f (f x)

当RankNTypes正在播放时，

在Haskell中没有最常规的类型。正如Pigworker所指出的，有些类型系统可以为u提供所需类型的主要类型，但它们将类型系统扩展与Haskell设计者关注的方向完全不同。