http://conal.net/blog/posts/another-lovely-example-of-type-class-morphisms Inspirations & experiments, mainly about denotative/functional programming in Haskell Sat, 26 Sep 2020 21:06:12 +0000 hourly 1 http://wordpress.org/?v=4.1.17 http://conal.net/blog/posts/another-lovely-example-of-type-class-morphisms#comment-192 Sun, 16 Nov 2008 01:09:07 +0000 http://conal.net/blog/?p=58#comment-192 […] Part One related Max’s data representation of left folds to type class morphisms, a pattern that’s been steering me lately toward natural (inevitable) design of libraries. Part Two simplified that representation to help get to the essence of zipping, and in doing so lost the expressiveness necessary to define Functorand Applicative instaces. Part Three proved the suitability of the zipping definitions in Part Two. […]

]]> http://conal.net/blog/posts/another-lovely-example-of-type-class-morphisms#comment-191 Sat, 15 Nov 2008 21:24:17 +0000 http://conal.net/blog/?p=58#comment-191 […] About « Another lovely example of type class morphisms […]

]]>