You are here |
vadosware.io | ||
| | | |
www.fosskers.ca
|
|
| | | | ||
| | | |
www.poberezkin.com
|
|
| | | | Evgeny Poberezkin's blog | |
| | | |
okmij.org
|
|
| | | | Framework for modular combination of effects based on Cartwright and Felleisen's idea of effects as interaction, augmented with types and effect encapsulation | |
| | | |
www.jeremykun.com
|
|
| | Perhaps primarily due to the prominence of monads in the Haskell programming language, programmers are often curious about category theory. Proponents of Haskell and other functional languages can put category-theoretic concepts on a pedestal or in a mexican restaurant, and their benefits can seem as mysterious as they are magical. For instance, the most common use of a monad in Haskell is to simulate the mutation of immutable data. Others include suspending and backtracking computations, and even untying tangled rope. |