"Identifier-name reasoning is morally obnoxious" from "Parametricity: Types are Documentation" by @dibblego at #ylj14
http://dl.dropbox.com/u/7810909/media/doc/parametricity.pdf …
-
@josh_robb@dibblego@porges so if I'm a typical java programmer, you'd recommend going haskell/idris instead of scala?
@meoyawn @josh_robb @porges Absolutely, yes. Anyone who tells you otherwise will crumble when challenged. Promise.
-
-
@dibblego@josh_robb@porges I actually tried scala and I remember not being happy with its type inference -
@meoyawn@dibblego@josh_robb@porges I've done Java, Python, and Clojure. Haskell is an easy recommendation.
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.