isnt it interesting that even while advocating types and formal methods to avoid bugs in programs, we write untyped blog posts and LaTeX?
-
-
@vgr sorry, all of those are equivalent to absurdity, and therefore unprovable. they'll be rejected by the type checker! -
@psygnisfive I thought type checking only checks for well-formedness not semantics? - Show replies
New conversation -
-
-
@vgr@psygnisfive don't forget the <recommended by taboola\ourbrain /> at the endThanks. 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.