什么是zygo / meta / histo / para / futu / dyna / whatever-morphisms?

时间:2009-05-28 16:51:18

标签: haskell functional-programming combinators category-theory

是否有一个列表,其中包含没有广泛的类别理论知识的人可以访问的示例?

5 个答案:

答案 0 :(得分:20)

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF)也应该有所帮助。这个符号会变得有点毛茸茸,但读了几遍你应该能够打倒你的名单。

另外,看看递归方案(archived) blog post,博主计划尽快单独展示每个,所以请定期查看 - 我猜。

答案 1 :(得分:10)

首先要了解catamorphisms;那些是最容易掌握的。你已经知道了一个:foldr

然后选择anamorphisms(unfoldr)和paramorphisms。只有这样才能去寻找其他维基百科文章/论文;到那时他们会更容易理解。

答案 2 :(得分:10)

Edward Kmett最近发布了Field Guide to recursion schemes,也许有帮助?

答案 3 :(得分:7)

查看Tim Williams在递归计划上的幻灯片:

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

他们解释了所有的* -morphisms,每个都有激励性的例子。

答案 4 :(得分:3)