search

isovector / reasonablypolymorphic.com

⏳ my math blog
http://reasonablypolymorphic.com
BSD 3-Clause "New" or "Revised" License
23 stars 11 forks source link

blog/recursion-schemes/index #25

Open utterances-bot opened 2 years ago

utterances-bot commented 2 years ago

Review: Bananas, Lenses, Envelopes and Barbed Wire :: Reasonably Polymorphic

https://reasonablypolymorphic.com/blog/recursion-schemes/index.html

cyy9447 commented 2 years ago

Thanks for your succinct review!

cyy9447 commented 2 years ago

However, the "list catamorphism fusion law" is wrongly stated. Try it on any non-trivial example and you'll find out why. The version in the paper is correct.