@nelhage read this and thought of your recent tweet: http://elbenshira.com/blog/the-end-of-dynamic-languages/ …
-
-
-
@Eigenvariable@patrickc OP: "types [restrict] the space of possibilities to free ourselves from the self-made burden of uncertainty." - 11 more replies
New conversation -
-
-
@msimoni@avibryant@patrickc I'm confused: in what sense do you mean that they are unrepresentable?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@msimoni@avibryant@patrickc What happens if you try? Won't that be a runtime error? How do you enforce nil/None being an illegal state?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@msimoni@avibryant@patrickc I see: you get some safety properties in the code that consumes the state, which is better than nothing.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.