Good question: Why do we have different implicit priorities? Here's my answer: https://github.com/typelevel/scala/issues/28#issuecomment-57044834 …
-
@propensive I have a bad feeling about the weighted thubg but I’ll need to think on it a lot more. It could prove more confusing IMO.
@channingwalton I feel like there could be a "complete solution" which would make the implicitWeight annotation unnecessary.
-
-
@propensive The current resolution rules mean a linear search, but weights require an exhaustive search (?) - more work for devs. -
@channingwalton No, the original idea is just to avoid artificial stacks of inherited implicits just to give them different priorities.
End of conversation
New conversation -
-
-
@propensive unless I’m completely misunderstandingThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@propensive@channingwalton probably something along those lines http://homepages.inf.ed.ac.uk/wadler/papers/implicits/implicits.pdf … -
@aloiscochard@channingwalton Ah, I think that paper was somewhere on my reading list...
End of conversation
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.