This problem with scala typeclasses really feels to me like we need to be looking at language level solutions.https://twitter.com/typelevel/status/781877858901819392 …
-
Syntactic sugar for common cases might work for me, as with implicit classes for ext methods. Is that roughly what you were thinking?
-
-
I'd love to have global vs value based instances options and good compiler error reporting for missing instances.
-
yes, either global uniqueness or some simplified resolution rules for typeclasses that could sidestep the problems.
- 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.