|
You are here |
lambdaland.org | ||
| | | | |
gbracha.blogspot.com
|
|
| | | | | 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
|
|
| | | | | Occasional writings about Haskell. | |
| | | | |
www.chriswarbo.net
|
|
| | | | | [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
|
|
| | | 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... | ||