@djspiewak drool? Local type-classes are an awful idea. Spew.
-
@dibblego@puffnfresh@djspiewak given there are papers saying "local instances are useful, let's do them", a rebuttal would be valuable
@MosRobinson @puffnfresh @djspiewak I know of no such thing, except for some Scala nonsense not worth considering. Which do you mean?
-
-
@MosRobinson@puffnfresh@djspiewak I have read both of these before and they are more rigorous than the scala-specific claim. - Show replies
New conversation -
-
@dibblego@puffnfresh@djspiewak have only skimmed the second oneThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@puffnfresh@djspiewak the relation to orphaned instances is interesting. I use orphan instances for QuickCheck.Arbitrary or ppr -
@MosRobinson@puffnfresh@djspiewak I hold firmly to "orphan instances must be a type error." The wrap/unwrap argument is fallacious.
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.