@MosRobinson @puffnfresh @djspiewak No, it's just a well-accepted inductive argument. Bad ideas never believed good are not worth a paper.
-
@dibblego@puffnfresh@djspiewak but that changes the interface of my module, doesn't it?
@MosRobinson @puffnfresh @djspiewak I'm genuinely disinclined to debunk every ridiculous idea on the internet and I'm sympathetic, not sorry
-
-
@dibblego@puffnfresh@djspiewak I'm still not convinced that orphan instances are wrong -
@MosRobinson@puffnfresh@djspiewak Do you accept there is a non-zero penalty? - Show replies
New conversation -
-
-
@dibblego@puffnfresh@djspiewak I'd be happy to read a paper - or even an argument - but saying "they're bad, use newtype" is useless -
@MosRobinson@puffnfresh@djspiewak and this is why I don't bother on twitter. I didn't say that. I gave several examples of improvement. - 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.