@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/ …
@puffnfresh What part of Scala's typeclasses is not safe, apart from the danger of misunderstanding esoteric rules and little-known bugs?
-
-
-
@puffnfresh "[...] can always pass different one" ... no, you can prevent that, that's the reason why its safer than Haskell.@propensive - 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.