>> > a hylomorphism is just an endofunctor in the Hask category of >> > profunctorally-dual product monoids with just a hint of commutative free >> > applicative comonads and a dash of F-algebra, >> >> >> Do you have citations for that?
Reminds me of this: http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html 1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?" > > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users > ____________________ Racket Users list: http://lists.racket-lang.org/users
