You should be thinking before you're coding. Agile programming is a way of coding, not a way of thinking. - Leslie Lamport
-
@_JamesWard in that case, I recommend implementing specifications in property-based tests :-)
@jessitron @_JamesWard It's nice to have the compiler do most (not all, obviously) of the thinking for you.
-
-
@propensive@_JamesWard Compiler can't really do the thinking, but it can check your thinking, if you've defined the types carefully, eh? -
@jessitron@_JamesWard If you refactor some code, the compiler can "think" about all the things you need to fix to accommodate the change. - Show replies
New conversation -
-
-
@propensive@jessitron I use a compiler therefore I am lazy.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.