文件名称:
GQFC:“功能性珍珠”的原始资料-Source material
开发工具:
文件大小: 4mb
下载次数: 0
上传时间: 2021-03-24
详细说明：功能性Pearl：快速修复Comonads
该资料库是论文的来源： K。Foner。 “功能性珍珠：快速修复Comonads。” 在2015年ACM SIGPLAN关于Haskell的研讨会论文集中。 ACM，2015年。
预览内容...
阅读本文最快的方法是 。
这篇论文是用具有乳胶味的识字的Haskell编写的。 可以将其编译为可读的PDF以及其描述的库的可执行代码。 这意味着，如果您，则可以阅读源代码或在REPL中对其进行处理。
您可能还需要查看演讲中的（完整的动画如下图所示！）。
抽象的
由于Piponi而导致的一段函数式编程传说，从模态可证明性逻辑为Löb定理提供了计算解释，这是一个不寻常的固定点。 解释模态必要性是Haskell中的任意Functor ，Löb定理的“类型”由定点函数占据，该定点函数允许结构的每个部分引用整体。
但是，仅靠Functor的隐式函数强度
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
