[racket] set!: eval-ing to lvalues

From: Stephen Chang (stchang at ccs.neu.edu)
Date: Wed Apr 23 14:58:24 EDT 2014

>> >  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
>

Posted on the users mailing list.