You should be thinking before you're coding. Agile programming is a way of coding, not a way of thinking. - Leslie Lamport
-
@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.
-
-
@jessitron@_JamesWard Though we could get into a discussion about what it means to think. Good types are a necessity for this to work! -
@propensive@jessitron All attempts at actual thinking eventually become metaphysical discussions of category theory. - Show replies
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.