29

如果没有广泛的范畴理论知识的人可以访问它们的示例，是否有一个列表？

4

5 回答 5

21

Bananas、Lenses、Envelopes 和 Barbed Wire (PDF) 的函数式编程也应该有所帮助。这个符号会有点毛茸茸，但读几遍你应该能够击倒你的那个列表。

另外，看看递归方案（存档） 博客文章，博主计划很快单独展示每一个，所以请定期查看它——我猜。

于 2009-05-28T17:03:27.803 回答
11

Edward Kmett 最近发布了递归方案的现场指南，也许它有帮助？

于 2009-06-11T15:13:47.677 回答
10

从学习变质开始；这些是最容易掌握的。你已经知道一个：foldr！

然后去找变形（unfoldr）和变形。然后才去查看其他 Wikipedia 文章/论文；到那时他们会更容易理解。

于 2009-05-28T17:25:30.223 回答
7

在此处查看 Tim Williams 关于递归方案的幻灯片：

http://www.timphilipwilliams.com/slides.html

他们解释了所有的 *-morphisms 以及每个的激励例子。

于 2013-04-18T10:53:58.293 回答
3

这是一个开始：维基百科“递归方案”类别。

于 2009-05-28T16:52:45.360 回答