@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.
-
@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.
-
-
@dibblego@oxnrtr@tpolecat@puffnfresh@propensive Any pointers on the literature that elaborates on their failed status? -
@missingfaktor@oxnrtr@tpolecat@puffnfresh@propensive See implicit in GHC. As for failed, it's more of a concluded discussion. - 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.