"The Anti-Human Consequences of Static Typing" http://jeapostrophe.github.io/2013-08-12-types-post.html …
-
“
@dyokomizo: "The Anti-Human Consequences of Static Typing" http://jeapostrophe.github.io/2013-08-12-types-post.html …” /cc@puffnfresh@dibblego
@curious_reader @dyokomizo @puffnfresh I read that the other day and I have no idea what it is trying to say.
-
-
@dibblego@curious_reader@dyokomizo Gödel says type systems must reject good programs (no mention of untyped being a subset of typed langs)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.