Evidently I can prove this works: int increment(int i) { return i + 1; } Evidently I can't prove that this works unless by Type Theory: int increment(int i) { print("increment: " + i + " to: " + (i + 1)); return i + 1; } Hmmm. http://forcomprehension.com/2017/12/11/functional-more-math/ …
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
I think there's a tendency for FP purists to exaggerate the brokenness of software. Most people have lower standards. But perfect purity is the only position from which anyone can claim the absence of certain classes of bugs... and they do.
-
-
And they get confidence from the fact they write thousands of lines of code, and they never see certain kinds of bug. And from their perspective, amongst those thousands of lines of code, a single impure method call will look egregious.
-
Are there any Scala and Haskell bugs that programmers feel confident don't exist because the compiler assured them?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.