/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

syntaxfree.wordpress.com
| | 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.
3.7 parsecs

Travel
| |
| | hookrace.net


2.8 parsecs

Travel
| |
| | argumatronic.com

Occasional writings about Haskell.
2.0 parsecs

Travel
| |
| | aartaka.me

Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.
29.3 parsecs

Travel
|