Comments on: Enhancing a Zip http://conal.net/blog/posts/enhancing-a-zip 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 By: Michael http://conal.net/blog/posts/enhancing-a-zip#comment-205 Wed, 19 Nov 2008 04:28:28 +0000 http://conal.net/blog/?p=61#comment-205 RE: Creighton

Worth noting that it’s not just us functional folks who are interested in algebraic structure. Stepanov, the man behind the C++ STL, has made a career out of it, and has a book in the works from the imperative side of the fence that presents programming as mathematical abstraction. See the following for the current draft:

http://www.stepanovpapers.com/eop/eop.pdf

Seems all the smart guys are into it these days ;) Neat stuff.

]]> By: David Sankel http://conal.net/blog/posts/enhancing-a-zip#comment-204 Tue, 18 Nov 2008 22:39:43 +0000 http://conal.net/blog/?p=61#comment-204 Conal, thanks for the series of posts. It is a good exposition of your methods of reducing redundancy to the bare minimum.

]]> By: Creighton http://conal.net/blog/posts/enhancing-a-zip#comment-203 Sun, 16 Nov 2008 02:59:46 +0000 http://conal.net/blog/?p=61#comment-203 Hey Conal, I’ve liked this series of posts as well as the original article that inspired them. I’ve started getting back into category theory, re-reading my MacLane & all that, and I’m wondering if the lesson that should be taken from your thoughts on this combined with this old post post is that we need to go beyond just being “functional” programmers & be “algebraic” programmers concerned with notions of naturalness. I know there were a lot of papers by Meijer et. al. back in the day about the algebraic connections to programming, but maybe it should be a practical part of any library design.

I have a feeling you’re going to say “well, yes, duh” but it’s just striking to me how we might be able to gain a lot of modularity by clearly elucidating the categoric properties of an interface.

]]>