Entities Mentioned

• Haskell

1. 1. The Comonad.Reader » Says: June 22nd, 2008 at 10:26 pm catamorphism† 2. Jared Says: June 23rd, 2008 at 2:55 am Your definition of cata fails with a kind error on InF. If you replace InF with outF, then it typechecks, and the function has the type you give with the additional requirement that f be a functor. This is corrected in the source link, but the examples should contain the Functor instance for L. 3. Edward Kmett Says: June 23rd, 2008 at 6:57 am Fixe (Read Full Article)
   
   

   Related Articles

   • The Comonad.Reader " Generalizing (.)
   • also published in The Comonad.Reader
   • The Comonad.Reader " Rotten Bananas
   • also published in The Comonad.Reader

   • Supercompilation for Haskell
   • also mentions Haskell
   • The Comonad.Reader " Parameterized Monads in Haskell
   • also published in The Comonad.Reader

Login to comment.