@djspiewak (actually, full stop may be able to be removed if you're talking about dependent types, dunno yet)
@MosRobinson @puffnfresh @djspiewak I have read both of these before and they are more rigorous than the scala-specific claim.
-
-
@dibblego@puffnfresh@djspiewak I'm not really sure what you mean by the scala-specific claim -
@MosRobinson@puffnfresh@djspiewak "Scoped type-classes" in Scala are an especially bad idea. These papers acknowledge a problem.
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.