Got into yet another argument that Haskell's type classes were superior to Scala's because Haskell has global instance uniqueness. Problem being, as far as I can tell, this is true in theory (by specifications) but not in practice (by implementation): https://nrinaudo.github.io/typeclasses/haskell.html …
-
That is entirely besides the point though. My point is: GHC doesn't enforce global instance uniqueness. This is demonstrably true, but exhibiting a program in which global instance uniquess is violated. Whether or not it's easy to avoid is another discussion
Whether or not it's easy to avoid is the *practical* discussion. GHC doesn't enforce it; Haskell does. Neither of these are particularly interesting to me, but I thought we were talking about practical application.
-
-
But it's impossible to avoid if you use GHC and have external dependencies though, right? Isn't that practical?
-
Sorry - it's impossible to guarantee, not to avoid. I do not need to be convinced that it doesn't happen often in practice, my point is just that you can't guarantee it, just observe it.
- 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.