Comments on: A handy generalized filter http://conal.net/blog/posts/a-handy-generalized-filter Inspirations & experiments, mainly about denotative/functional programming in Haskell Mon, 21 Nov 2011 12:42:05 +0000 hourly 1 http://wordpress.org/?v=3.1 By: Conal Elliott » Blog Archive » Invasion of the composable Mutant-Bots http://conal.net/blog/posts/a-handy-generalized-filter/comment-page-1#comment-36 Conal Elliott » Blog Archive » Invasion of the composable Mutant-Bots Wed, 06 Feb 2008 06:23:31 +0000 http://conal.net/blog/posts/a-handy-generalized-filter/#comment-36 <p>[...] About « A handy generalized filter [...]</p> [...] About « A handy generalized filter [...]

]]> By: conal http://conal.net/blog/posts/a-handy-generalized-filter/comment-page-1#comment-20 conal Sat, 26 Jan 2008 18:21:31 +0000 http://conal.net/blog/posts/a-handy-generalized-filter/#comment-20 <p>That's terrific, Neil. Good stuff!</p> That’s terrific, Neil. Good stuff!

]]> By: Neil Mitchell http://conal.net/blog/posts/a-handy-generalized-filter/comment-page-1#comment-19 Neil Mitchell Sat, 26 Jan 2008 15:55:27 +0000 http://conal.net/blog/posts/a-handy-generalized-filter/#comment-19 <p>I've also written some more about it at http://neilmitchell.blogspot.com/2008/01/safety-and-optimisation-joinmaybes.html</p> I’ve also written some more about it at http://neilmitchell.blogspot.com/2008/01/safety-and-optimisation-joinmaybes.html

]]> By: Neil Mitchell http://conal.net/blog/posts/a-handy-generalized-filter/comment-page-1#comment-18 Neil Mitchell Sat, 26 Jan 2008 10:35:57 +0000 http://conal.net/blog/posts/a-handy-generalized-filter/#comment-18 <p>Conal, Catch would happily accept the above definition as total and spot that the filter guarantees the Just property - its trivial for Catch. As an added bonus, Supero would optimise out the redundant Just matches, giving you something maximally efficient.</p> <p>The moral of the story is just code simple, and I'll come round later and take care of it!</p> Conal, Catch would happily accept the above definition as total and spot that the filter guarantees the Just property – its trivial for Catch. As an added bonus, Supero would optimise out the redundant Just matches, giving you something maximally efficient.

The moral of the story is just code simple, and I’ll come round later and take care of it!

]]>