Example fixpoint data type with few morphisms (cata-, ana-, hylo-) implemented by hand.
Inspiration: http://www.slideshare.net/paulszulc/going-bananas-with-recursion-schemes-for-fixed-point-data-types
Example fixpoint data type with few morphisms (cata-, ana-, hylo-) implemented by hand in Scala
Scala
Example fixpoint data type with few morphisms (cata-, ana-, hylo-) implemented by hand.
Inspiration: http://www.slideshare.net/paulszulc/going-bananas-with-recursion-schemes-for-fixed-point-data-types