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 …
-
The separate discussion that you're answering to is interesting though. I'd like to know how you define a type class, and in which way that definition invalidates Scala's encoding of them. This is neither a challenge nor sarcasm. I'm genuinely interested.
-
-
I'm genuinely interested and ready to go down that rabbit hole, but do not mean to presume that you have the time to.
-
We can start with a shortcut! Have you seen the attempts at a Scala type-class hierarchy, dating back to 2005, using implicits and sub-typing, and still not getting it right? i.e. there is still not a usable type-class hierarchy, 15 years later.
- 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.