On 7/9/09, Heinrich Apfelmus <apfel...@quantentunnel.de> wrote: > > Of course, some part of algorithm has to be recursive, but this can be > outsourced to a general recursion scheme, like the hylomorphism > > hylo :: Functor f => (a -> f a) -> (f b -> b) -> (a -> b) > hylo f g = g . fmap (hylo f g) . f >
Is that definition of hylo actually usuable? A few on IRC tried to use that definition for a few examples, but the examples failed to terminate or blew up the stack. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe