Haskell's typeclass coherence has to be one of the longest-running scams in computer science history.
-
-
-
Replying to @_romac
Given how aggressively Haskell advocates extoll the virtues of typeclass coherence it would be nice to have GHC actually implement it first.
2 replies 0 retweets 0 likes -
Replying to @oxnrtr
You mean eg. disallow defining overlapping type classes in the same module ?
1 reply 0 retweets 0 likes -
Replying to @_romac
It's bizarre that GHC stops rejecting multiple instances for the same type just by placing them in different modules. /cc
@Profpatsch1 reply 0 retweets 0 likes -
That should not happen afaik. Do you have an example?
2 replies 0 retweets 0 likes
Those same advocates also reject the idea of orphan instances, required for the example. Good, modern languages refuse to compile it.
3:56 AM - 10 Jul 2017
0 replies
0 retweets
0 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.