- About Scala
- Documentation
- Code Examples
- Software
- Scala Developers
New blog post on organizing your monads and co-monads
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
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
