Haskell `forever` 类型签名

Question

在 Haskell 中，为什么 forever 的类型签名是

forever :: Monad m => m a -> m b

具体为什么不只是 :: Monad m => m a -> m a ?
当然，我们所作用的 monad 的类型在 forever 中途不会改变。 ?

一个函数，例如:

 forever' :: Monad m => m a -> m a
 forever' = forever

似乎工作完全相同。

Answer 1

forever 的类型签名精心设计以表明其结果永远运行。具体来说，无法编写 m b 类型的操作。 (其返回值是多态的)终止并产生一个非底部值。提出相同建议的另一种方法是 forever' :: m a -> m Void .

另一个答案就是说这是函数定义的最通用的类​​型，所以这就是它被赋予的类型。

Prelude> let forever m = let x = m >> x in x
Prelude> :t forever
forever :: Monad m => m a -> m b

如今，它可能应该有不同的定义:

forever :: Applicative f => f a -> f b
forever a = let x = a *> x in x