Comments on: Catamorphisms in 60 seconds http://4.flowsnake.org/archives/24 A Pythoneer's adventures with Chicken Scheme. ^_^ And more. Wed, 07 Jan 2009 02:43:11 +0000 http://wordpress.org/?v=2.6.5 By: Ulisses Costa http://4.flowsnake.org/archives/24#comment-19 Ulisses Costa Wed, 16 Jan 2008 12:47:17 +0000 http://4.flowsnake.org/archives/24#comment-19 @Hans Nowak Any recursive function f :: [a] -> X could be defined as a catamorphism. In 'filter' 'X' type is '[a]'. @Hans Nowak
Any recursive function f :: [a] -> X could be defined as a catamorphism.
In 'filter' 'X' type is '[a]'.

]]> By: Hans Nowak http://4.flowsnake.org/archives/24#comment-16 Hans Nowak Fri, 11 Jan 2008 16:15:36 +0000 http://4.flowsnake.org/archives/24#comment-16 Thanks. I can actually make a bit of sense of it. :-) I was also wondering if 'filter' would be a catamorphism... according to this paper it is. Thanks. I can actually make a bit of sense of it. :-) I was also wondering if 'filter' would be a catamorphism... according to this paper it is.

]]> By: Sam http://4.flowsnake.org/archives/24#comment-15 Sam Fri, 11 Jan 2008 15:52:04 +0000 http://4.flowsnake.org/archives/24#comment-15 This paper is a great introduction to catamorphisms, anamorphisms, and more: http://citeseer.ist.psu.edu/meijer91functional.html This paper is a great introduction to catamorphisms, anamorphisms, and more:

http://citeseer.ist.psu.edu/meijer91functional.html

]]>