递归

Awesome Recursion Schemes

> 用于学习和使用递归方案的有用资源的精选.

递归方案是简单的、可组合的组合器，可自动执行遍历和递归嵌套数据结构的过程.

Introductions

• Awesome Recursion Schemes - 用于学习和使用递归方案的有用资源的精选.
• Practical Recursion Schemes - 模式函子、固定点、变形、变形的介绍， paramorphisms 和 hylomorphisms，需要很少的先验知识.
• An Introduction to Recursion Schemes - 由三部分组成的系列，您可以在其中从头开始发现递归方案并 实现 Edward Kmett 库的一小部分.
• Understanding Algebras - Bartosz Milewski 解释了 F 代数并展示了如何在 变形.
• Recursion Schemes in JavaScript and Flow - 介绍JavaScript中递归方案和相关概念的系列， 针对具有最少函数式编程背景的开发人员.

Articles

• Recursion Schemes: A Field Guide (Redux) - 带有代码示例的各种递归方案列表.
• Catamorphisms - Haskell Wiki 上的定义.
• Catamorphisms - 爱德华·科梅特 (Edward Kmett) 的 Haskell 学院代码简短定义.
• Rotating Squares - Jared Tobin 使用同态旋转四叉树.
• Recursion Schemes, Part V: Hello, Hylomorphisms
• Promorphisms, Pre and Post - Jared Tobin 的前态和后态的实际例子.
• Time Traveling Recursion Schemes - 通过 Jared Tobin 的例子探索 histo 和 futu.
• Recursion Schemes, Part IV: Time is of the Essence - 关于组织态和未来态的实用文章.
• Cheat Sheet - 各种递归方案及其对偶的映射.
• Correcting the Visitor pattern - 表明访问者模式实现了一个 f 代数以用于变形（在 Java 中）.
• Recursion Schemes in Scala - 介绍定点组合器、变形、变态、同态、同态、同态、组织态、动态态和未来态.
• What's in a Fold: The Basic Catamorphism in recursion-schemes - 引入变形作为折叠的概括.

Hylomorphisms in the Wild

Bartosz Milewski 撰写的关于通过应用质态来解决小的实际问题的文章.

• Stalking a Hylomorphism in the Wild - Advent of Code 2017，多米诺骨牌挑战
• Open Seasons on Hylomorphisms - Code 2018 的到来，字符串比较挑战

Papers

• Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, 1991, Meijer et al. - 本文大部分基于原始论文.
• A Duality of Sorts, 2013, Hinze et al. - 表明许多基本排序算法成对存在，并且这些对 自然地从折叠和展开之间的二元性中产生.
• Sorting with Bialgebras and Distributive Laws, 2012, Hinze et al. - 展示了如何使用同态和同态来提高效率 排序算法的实现.
• Scrap your boilerplate: a practical design pattern for generic programming, 2003, SPJ et al. - 用于编写遍历由丰富的相互递归数据类型构建的数据结构的程序的设计模式.

Presentations

• Slidedecks by Tim Philip Williams - “Recursion Schemes by Example”和“Exotic Trades 的Exotic Tools”提供 简洁的定义以及许多递归方案的实际例子.
• Unifying Structured Recursion Schemes - Ralf Hinze、Nicolas Wu 和 Jeremy Gibbons 的 12 分钟演讲.
• Recursion Schemes - 由 Tim Williams 在伦敦 Haskell 聚会上介绍.
• F-algebras or: How I Learned to Stop Worrying and Love the Type System - 由纽约 Haskell 用户组的 Anthony Burzillo 介绍.
• A Gentle Introduction to Recursion Schemes - 由 Jean Remi Desjardins 在 Lambdaconf 2016 上展示.
• recursion-scheme-talk - 关于递归方案的幻灯片集.
• Bracer: Transforming Real-World Languages with Coproducts and Recursion Schemes - 帕特里克·汤姆森 (Patrick Thomson) 关于使用联积和递归方案构建程序的高级讨论.
• Recursion: Where Functional Programming Hits Bottom - Greg Pfeil 介绍 Haskell 和 Scala 中的递归固定点数据结构和递归方案.
• Programming with algebras - Bartosz Milewski 在 LambdaCon 上发表的谈话形式的文章.
• Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali 在 LambdaWorld 上的介绍性演讲.

Cheat Sheets

• The Hitchhiker's Guide to Morphisms - 不同态射的概述，包括可打印的 PDF.

Podcasts

• Magic Read Along - 随意讨论 经常提出递归方案的类别理论，包括情节 33 谈论 Histomorphisms 和未来态.
• Scala Love - 关于 Scala 的播客 中的递归方案 the second episode.
• The Haskell Cast - 递归方案出现 Episode 13 with John Wiegley.

Implementations

• recursion-schemes 为了 Haskell - Edward Kmett 的规范实现.
• Matryoshka 对于使用 Scalaz 的 Scala - 定点数据结构的广义折叠、展开和遍历.
• andyscott/droste 对于使用猫的 Scala - 定点数据结构的广义折叠、展开和遍历.
• recursion_schemes 为了 Idris，基于 Edward Kmett 的 Haskell 库.
• purescript-matryoshka 对于 PureScript - 俄罗斯套娃的半成品港口.
• recursion 对于 ATS - 演示 ATS 中的递归方案.
• dada for Dhall - 递归库 盲目计划.
• static-land-recursion-schemes 对于 JavaScript/Flow - 以以下风格编写的数据结构方案 flow-static-land.
• Katalyst 对于 Kotlin - 基于 Matryoshka 使用轻量级高级多态性的重新构想.

License

此内容已获得许可 under CC0.