chainCPSの変数のタイプは？

Question

私はcontinuation passing style tutorialを見ていますが、次の機能の種類を理解できません。

chainCPS :: ((a -> r) -> r) -> (a -> ((b -> r) -> r)) -> ((b -> r) -> r) 
    chainCPS s f = \k -> s $ \x -> f x $ k 

が、私はその s :: (a -> r) -> r、 f :: a -> (b -> r) -> r、 k :: b -> rを見ることができるのAtomエディタが提供する型情報を見る：

chainCPS :: ((a -> r) -> r) -> (a -> ((b -> r) -> r)) -> ((b -> r) -> r) 
    chainCPS s f k = s z where 
    -- z :: (a -> r) -> a -> ((b -> r) -> r) -- Fails 
    z x = f x k 

上記は、以下の改造です。さらにzのxはx :: aです。

これについて私に混乱しているのは、zがz :: a -> rであるということです。

つまり、s zは、〜sを適用した後に、rのタイプである必要があります。

もしそうなら、最終的なタイプはどのように(b -> r) -> rになるのですか？

編集：はk ...右です。つまり、zは実際にはa -> rのタイプです。しかし、それではなぜ型チェックに失敗するのでしょうか？ s zがsにzを適用した後に型rでなければならないことを意味する

chainCPS :: ((a -> r) -> r) -> (a -> ((b -> r) -> r)) -> (b -> r) -> r 
    chainCPS s f k = s z where 
    z :: a -> r 
    z x = f x k 

Answer 1

。

いいえ。 z someArgはタイプrであり、someArgのタイプがaである場合はtrueですが、ではなくsが適用されます。ここで

代わりに、私たちはそうzがsの引数の型と一致する

s :: (a -> r) -> r 
z :: (a -> r) 

を持っています。したがって、結果のタイプは、の(a -> r) -> rの結果になります。