Tony Morris

@oxnrtr how do you prevent it? i.e., disallow https://gist.github.com/tpolecat/38e323101d050c91a88f … / @puffnfresh @propensive

@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.

@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.

@dibblego @oxnrtr @tpolecat @propensive I recall `@puffnfresh saying that implicits in GHC are not related at all.