Löb 和 Möb:Haskell 中的循环
Löb and Möb: Loops in Haskell (2013)

原始链接: https://github.com/quchen/articles/blob/master/loeb-moeb.md

GitHub是一个全球使用的综合开发平台,供个人和团队构建、发布和维护软件。它提供广泛的功能,包括通过仓库进行代码存储和管理,协作工具(如问题、拉取请求和讨论),以及项目管理能力。 最近,GitHub扩展到AI驱动的开发,推出了Copilot(AI结对程序员)、Spark(用于构建智能应用)和Models(用于提示管理)等工具。它还通过Advanced Security功能优先考虑安全性。 GitHub满足多样化的需求,为各种规模的公司、不同的用例(DevOps、CI/CD等)和特定行业提供解决方案。除了平台本身,GitHub还通过GitHub Sponsors和ReadME Project等计划,以及文档、学习路径和活动等资源,促进强大的开源社区。

这个Hacker News讨论重新提及了quchen于2013年发表的一篇文章,探讨了Haskell中的“Löb和Möb”——循环和不动点。核心概念建立在Dan Piponi于2006年关于将Löb定理与电子表格求值关联起来的工作之上。 用户指出“Möb”推广了“Löb”不动点,并且在使用“ComonadApply”时,会涌现出更强大的版本,从而可以在各种数据结构中实现类似电子表格的计算。 许多评论者分享了相关的项目和文章,包括“快速理解Comonad”和2018年关于“奇妙的Möb”的帖子。 对话涉及实际应用,例如构建玩具汇编器,其中Löb有助于将标签解析为地址。有些人表示难以理解理论基础,而另一些人则遗憾地说,缺乏对超越基础概念的应用的进一步探索。 还有一些有趣的评论提到Hacker News上最近Haskell相关帖子的激增,用户们为该语言在过去3.5十年中对编程语言设计产生的持久影响辩护。
相关文章

原文
Skip to content
联系我们 contact @ memedata.com