/explore
|
You are here 
|
argumatronic.com | ||
| | | | |
syntaxfree.wordpress.com
|
|
| | | | | Haskell programming journal | |
| | | | |
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. | |
| | | | |
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? | |
| | | | |
pinecone.academy
|
|
| | | Unlock your child's potential at Pinecone Coding Academy! Fun, engaging coding classes, camps & live instruction for ages 8-17 led by inspiring educators. | ||
