功能性Pearl:快速修复Comonads 该资料库是论文的来源: K。Foner。 “功能性珍珠:快速修复Comonads。” 在2015年ACM SIGPLAN关于Haskell的研讨会论文集中。 ACM,2015年。 预览内容... 阅读本文最快的方法是 。 这篇论文是用具有乳胶味的识字的Haskell编写的。 可以将其编译为可读的PDF以及其描述的库的可执行代码。 这意味着,如果您,则可以阅读源代码或在REPL中对其进行处理。 您可能还需要查看演讲中的(完整的动画如下图所示!)。 抽象的 由于Piponi而导致的一段函数式编程传说,从模态可证明性逻辑为Löb定理提供了计算解释,这是一个不寻常的固定点。 解释模态必要性是Haskell中的任意Functor ,Löb定理的“类型”由定点函数占据,该定点函数允许结构的每个部分引用整体。 但是,仅靠Functor的隐式函数强度