/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

lambdaland.org
| | gbracha.blogspot.com
2.4 parsecs away

Travel
| | In this post, I wanted to make a case for reflection in the context of pure functional programming. I don't know that pure functional langua...
| | argumatronic.com
1.7 parsecs away

Travel
| | Occasional writings about Haskell.
| | www.chriswarbo.net
1.9 parsecs away

Travel
| | [AI summary] A discussion thread clarifying misconceptions about state, the IO monad, and functional purity in Haskell by explaining how the language represents imperative programs as pure data structures.
| | rjlipton.com
19.4 parsecs away

Travel
| How to convince someone your proof is really a proof Roger Apéry was a mathematician who solved a beautiful problem that had been open for hundreds of years. He was not an amateur in any sense, but because his result was so surprising there was initial doubt about its correctness. Even professional mathematicians have some...