Just saw another thread of arguing about whether static type systems can replace tests. Neither of them can do everything the other does, and by choosing a "side" here you limit the ways in which you can gain confidence about a system. Relevant: https://www.destroyallsoftware.com/talks/ideology
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Pragmatism is key here - polarising opinions are usually misleading but more attractive. Also pragmatism is actually much harder than just taking sides.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I enjoyed this talk this morning! I've been pondering the notion of abandoning testing in favor of proof so it's interesting to hear you say this
@edwinbrady... Can proof and pragmatism live under the same roof? -
I suppose you could probably just link to Idris as a reply to this comment... :)
End of conversation
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.
