Comments on: A handy generalized filter http://conal.net/blog/posts/a-handy-generalized-filter 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: Conal Elliott » Blog Archive » Invasion of the composable Mutant-Bots http://conal.net/blog/posts/a-handy-generalized-filter#comment-47 Wed, 06 Feb 2008 06:23:31 +0000 http://conal.net/blog/posts/a-handy-generalized-filter/#comment-47 […] About « A handy generalized filter […]

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

]]> By: Neil Mitchell http://conal.net/blog/posts/a-handy-generalized-filter#comment-45 Sat, 26 Jan 2008 15:55:27 +0000 http://conal.net/blog/posts/a-handy-generalized-filter/#comment-45 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-44 Sat, 26 Jan 2008 10:35:57 +0000 http://conal.net/blog/posts/a-handy-generalized-filter/#comment-44 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!

]]>