@djspiewak drool? Local type-classes are an awful idea. Spew.
-
-
Replying to @puffnfresh
@puffnfresh Local typeclasses allow some things that are annoying. This definitely isn’t one of them.3 replies 0 retweets 0 likes -
Replying to @djspiewak
@djspiewak (actually, full stop may be able to be removed if you're talking about dependent types, dunno yet)1 reply 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh@djspiewak what's so bad about local typeclasses?2 replies 0 retweets 0 likes -
Replying to @MosRobinson
@MosRobinson@puffnfresh@djspiewak Zero benefit, huge penalty. Any claimed benefit comes by pitting against a limited imagination.1 reply 0 retweets 0 likes -
Replying to @dibblego
@dibblego@puffnfresh@djspiewak can you point me to any papers on the cost/lack of benefit?2 replies 0 retweets 0 likes -
Replying to @MosRobinson
@MosRobinson@puffnfresh@djspiewak No, it's just a well-accepted inductive argument. Bad ideas never believed good are not worth a paper.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@MosRobinson@puffnfresh Then gist the argument.2 replies 0 retweets 0 likes -
Replying to @djspiewak
@djspiewak@dibblego@MosRobinson might write a blog post about this tonight, but search "type-class confluence" and "type-class coherency"1 reply 0 retweets 2 likes -
Replying to @puffnfresh
@puffnfresh@djspiewak@dibblego@MosRobinson Sometimes I want Double to have a different Eq instance. Current options -> too much typing.5 replies 0 retweets 0 likes
@jfischoff @puffnfresh @djspiewak @MosRobinson Good luck Brian. I am totally signing out of this nonsense please.
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.