@propensive we have to play fast and loose with implicits. No guarantee of uniqueness, can always pass different one: http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ …
-
This Tweet is unavailable.
-
@tpolecat@puffnfresh@propensive Why would I want to prevent that? That's exactly the behavior I would implement, if it wouldn't exist.
@oxnrtr @tpolecat @puffnfresh @propensive Because you can achieve the same goal with less hack. It's a win that costs you nothing.
-
-
@dibblego@oxnrtr@tpolecat@puffnfresh@propensive I am curious what you folks think of http://homepages.inf.ed.ac.uk/wadler/papers/implicits/implicits.pdf …. -
@missingfaktor@oxnrtr@tpolecat@puffnfresh@propensive implicits are a known failed experiment, well before Scala. All part of the funny. - 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.