This page is no longer maintained — Please continue to the home page at www.scala-lang.org

New blog post on organizing your monads and co-monads

No replies
Meredith Gregory
Joined: 2008-12-17,
User offline. Last seen 42 years 45 weeks ago.
Dear Scalarazzi,
Events conspired to squeeze a blog post out of me on the organization of monads and co-monads. Basically, it's a teaser that goes into a little bit of the story of the relationship between monads and co-monads in the context of the common container structures from Option to List and beyond. It also provides a little entre to the Curry-Howard isomorphisms (aka propositions-as-types) in the linear setting.
Best wishes,
--greg

--
L.G. Meredith
Managing Partner
Biosimilarity LLC
7329 39th Ave SWSeattle, WA 98136

+1 206.650.3740

http://biosimilarity.blogspot.com

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland