My honest attitude toward immutability. (I mention its value in multithreaded programs earlier.)pic.twitter.com/DfAffTht0G
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
You're not claiming a brain can compute incomputable functions, are you?
No, no more than /Thinking, Fast and Slow/ or the embodied cognition people do. http://psychsciencenotes.blogspot.com/p/the-rough-guide-to-blog.html …
Brains have access to more information than the text of the program. Known intentions of programmers are not irrelevant.
It's exactly these known intentions that make a human reader miss the corner cases, though.
You are making a logical ("there exists") argument. I'm making an economic ("where to spend effort") argument. /1
My audience is people whose experience does not show them that mutability bugs are that big of a problem for them. /2
(Neither are null pointer bugs.) *A* problem, yes, but static FP has to offer more. /3
This book is to see if I can make a convincing argument for static (vs. dynamic) FP to them /4
(And to me - as I'm not convinced yet.)
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.