Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
syntaxfree.wordpress.com
|
|
| | | | | Haskell programming journal | |
| | | | |
bartoszmilewski.com
|
|
| | | | | We have this friendly competition going on between Eric Niebler and myself. He writes some clever C++ template code, and I feel the compulsion to explain it to him in functional terms. Then I write a blog about Haskell or category theory and Eric feels a compulsion to translate it into C++. Eric is now... | |
| | | | |
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? | |
| | | | |
clojure.org
|
|
| | | [AI summary] A comprehensive technical guide detailing Clojure's interoperability with Java, covering class access syntax, method invocation, performance optimization via type hints, and advanced features like proxies and primitive support. | ||
