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

Fix*_*int 27 haskell functional-programming combinators category-theory

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

nlu*_*oni 21

使用香蕉,镜片,信封和带刺铁丝网进行功能编程(PDF)也应该有所帮助.符号会有点毛茸茸,但读几次你应该能够击倒你的那份清单.

另外,看看递归方案(已存档) 博客文章,博主计划尽快单独展示每个,所以请定期回来查看 - 我猜.


sha*_*apr 11

Edward Kmett最近发布了一个递归方案实地指南,也许它有帮助吗?

  • 乐于帮助.你最好的选择可能是从Vene和Kabanov的动态论文开始.因为它至少激发了histo和dyna的使用,并且从那里你可以找出futu.http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.9336 (3认同)

Mar*_*ijn 10

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

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

  • 我已经掌握了cata,ana,hylo和meta,这就是我没有提到它们的原因.:)其余的维基百科文章不是很广泛或不存在. (2认同)

Ben*_*ord 7

查看蒂姆·威廉姆斯在这里的递归方案的幻灯片:

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

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