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 …
-
I don't mean get rid of implicit in scala, just add an explicit typeclass mechanism.
Syntactic sugar for common cases might work for me, as with implicit classes for ext methods. Is that roughly what you were thinking?
-
-
e.g. making something like Simulacrum first-class in Scala.
-
I'd love to have global vs value based instances options and good compiler error reporting for missing instances.
- 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.