TGTGInsighttelegram intelligenceLIVE / telegram public index
← Hypercube's Channel
查看原帖
Hypercube's Channel avatar

TGINSIGHT POST

Post #77

@SmartHypercube_channel

Hypercube's Channel

Views219帖子阅读量
发布6月13日2022/06/13 11:55
Post content

帖子内容

我惊了，Haskell 中 callCC [1][2] 的类型居然没有 rank 2 polymorphism，这能用？？ 具体而言，我认为 callCC :: forall a b. ((a -> ContT r m b) -> ContT r m a) -> ContT r m a 应该改成 callCC :: forall a. ((a -> (forall b. ContT r m b)) -> ContT r m a) -> ContT r m a 或者 callCC :: forall a. ((forall b. a -> ContT r m b) -> ContT r m a) -> ContT r m a （这两种定义用起来应该是一样的？） 查了一下，只有这里提到了这个问题，搞不懂为什么没人觉得需要改库中的定义。