a chicken monad

Posted on February 6, 2009 by Brent

Yesterday, Mark Dominus took a picture of me eating a monad:

Brent eating a monad

It was a delicious Chicken monad.

data Chicken a = Chicken (Egg a)
data Egg a = Egg (Chicken a)

instance Monad Chicken where
  ...(exercise for the reader)

About Brent

Associate Professor of Computer Science at Hendrix College. Functional programmer, mathematician, teacher, pianist, follower of Jesus.
This entry was posted in humor, meta and tagged , . Bookmark the permalink.

3 Responses to a chicken monad

  1. Shae Erisson says:
    February 7, 2009 at 12:31 am

    One of them can be a newtype (says Edward Kmett over my shoulder). You just have to choose which one you want to come first.

    Reply
  2. Lally Singh says:
    February 7, 2009 at 2:22 am

    s/Chicken/Chips/
    s/Egg/Cheese/

    http://xkcd.com/140/

    Reply
  3. lilac says:
    February 9, 2009 at 7:01 am

    Clearly, neither came first:

    > newtype Chicken = Chicken Egg deriving Show
    > newtype Egg = Egg Chicken deriving Show
    > undefined :: Chicken
    Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (Chicken (Egg (**STACK OVERFLOW**

    Reply

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.