/explore
|
You are here 
|
argumatronic.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. |
|
| | | | | ||
| | | | |
degoes.net
Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts |
|
| | | | | ||
| | | | |
tomasp.net
The question whether aliens would understand lambda calculus is intriguing because it vividly formulates a fundamental question about our formal mathematical knowledge. Are mathematical theories and results about them invented, i.e. constructed by humans, or discovered, i.e. are they eternal truths that exist regardless of whether there are humans to know them? |
|
| | | | | ||
| | | | |
bartoszmilewski.com
This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b... |
|
| | | |||
