Link Details

Link 935909 thumbnail
User 225256 avatar

By mswatcher
via ericlippert.com
Submitted: Mar 08 2013 / 07:08

We are closing in on the actual requirements of the "monad pattern". So far we've seen that for a monadic type M, there must be a simple way to "wrap up" any value of T into an M. And last time we saw that any function that takes an A and returns an R can be applied to an M to produce an M such that both the action of the function and the "amplification" of the monad are preserved, which is pretty cool. It looks like we're done; what more could you possibly want?
  • 3
  • 0
  • 221
  • 42

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (3)



Voters Against This Link (0)



    Apache Hadoop
    Written by: Piotr Krewski
    Featured Refcardz: Top Refcardz:
    1. Play
    2. Akka
    3. Design Patterns
    4. OO JS
    5. Cont. Delivery
    1. Play
    2. Java Performance
    3. Akka
    4. REST
    5. Java