haskell - 为什么 Haskell 允许这种递归 (?) 类型？

Question

我看到了以下定义:

getCC :: t -> ContT r m (t, t -> ContT r m b)
getCC x0 = callCC (\c -> let f x = c (x, f) in return (x0, f))

但是如果有人隐藏了 getCC 的类型声明，我将无法弄清楚。

f 的类型是什么？

嗯，f 是一个接受 t 并返回 Cont r m (t, *something*) 的函数。但是某物必须与f具有相同的类型!

所以f::Cont r m (t, Cont r m (t, Cont r m (t, Cont r m (t, ...)))。

ghc 为什么/如何推断出 f::t -> Cont r m b)？

Answer 1

类型中没有递归:

{-# LANGUAGE ScopedTypeVariables #-}

import Control.Monad.Trans.Cont

getCC :: t -> ContT r m (t, t -> ContT r m b)
getCC x0 = callCC (\(c :: (t, t -> ContT r m b) -> ContT r m b) 
                   -> let f :: t -> ContT r m b
                          f x = c (x, f)
                      in return (x0, f))