爲什麼沒有'Contad的`MonadTransControl`實例

Question

我不知道如何實現它，我假設可能沒有辦法做到這一點。有證據或有說服力的理由說它不能做到嗎？

什麼使ContT特別？

Answer 1

一般來說，您可以通過ContT r m得到的唯一值是類型m r。的Run (ContT r)類型簽名將是

Run (ContT r) = forall n b. Monad n => ContT r n b -> n (StT (ContT r) b) 

這相當於

forall n b. ((b -> n r) -> n r) -> n (StT (ContT r) b) 

唯一可能的類型爲StT (ContT r) b是r，但即使這樣，還有b -> n r類型的沒有可能的定義的函數傳遞到ContT。並且由於liftWith被賦予了一個需要Run (ContT r)類型值的功能，因此無法實現。

restoreT使情況更糟，因爲可能從一般ContT r m a中提取的任何值都不能轉回ContT r m a。所以你失去了來來往往。

順便說一句，這也是您無法制作ContT a MonadFix的原因。您不能將任意a轉換爲任意r，反之亦然。