There's even a name for why this is patently wrong: parametricity. The more polymorphic a type is -> the fewer implementations there can possibly be -> the fewer scenarios there are to test. This is a well researched phenomenon, e.g. "Theorems for free" by Wadlerhttps://twitter.com/unclebobmartin/status/1135894377329508355 …
-
Show this thread
-
Replying to @dfacastro
remember that time uncle bob tried to tackle type theory by discussing ints and floats. The man ought to be cherished. Despite getting frozen in the 80s, he was still able to adopt twitter and live on meming himself; all while people respond to him seriously adding to the joke
1 reply 0 retweets 6 likes
Replying to @TREV0RR @dfacastro
I tend to disagree. Type theory had already moved forward from this bad argument in the 1980s, so if your statement were true, it would be an improvement :)
3:59 AM - 10 Jun 2019
0 replies
0 retweets
2 likes
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.