Dan Piponi wrote:
> On 9/11/07, Andrew Coppin <[EMAIL PROTECTED]> wrote:
>> you can fall down a monad and not be able to escape...
>
> It's not so bad. It's in the nature of monads that after you've fallen
> in once, you can never get trapped any deeper.

But you can climb higher...
(Note: Best viewed in mono-space!)


            Programmer's
             Nirvana plane
             ---------------
               Categoric plane
                 ---------------
                  Co-Monadic plane
                    (Co- everything)
                     -----------------
                      Applicative plane
                    ----------------------
                  Pointless-pointfree plane
                ------------------------------
              Monadic plane  (don't get trapped)
            ---------------        ---------------
          Functional plane          (Haskell et al!)
        ---------------                ---------------
      Imperative plane                  ASM, C#, Java :)
    ---------------                        ---------------
  Physical plane                              (e.g. Silicon)


-- Ron

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to