Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Background: I have an idea for making state mutation safer. Next step is to pick motivating examples to be solved in the paper. I'm having difficulty finding something simple and compelling. Pulling on that thread, I can't even find examples motivating pure FP. Huh?
"Can programming be liberated from the von Neumann architecture?" and "Why Functional Programming Matters" have concrete examples (dot product, square-root algo) of why to prefer a functional style. In general, numerical code b/c the underlying math is already pure functional.
My reading is their examples don't show actual *problems* with imperative code. They just show how more *beautiful* the functional code is.
I think Backus' comparison provides reasonable arguments for the functional version that don't appeal to aesthetic. He argues about nameless-ness, compositionality, generality.pic.twitter.com/b2tpuYT4SZ
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
