Gary has form proposing and arguing against strawman arguments. Seems no-one told him about how static typing is augmented with laws, property-based testing – and even formal methods – for testing all the things types alone can't prove.
-
-
-
PBT and formal methods are completely orthogonal to your type system and plenty of languages benefit from both without using types
- 2 more replies
New conversation -
-
-
No you are a good advocate! You can only identify the things you want to put in the static structure of your program by first testing a dynamic prototype. Testing and types are just two aspects of the process of software development and consolidation.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Ok the contrary I think you’re a very good one!
-
Yes, one of the best!
End of conversation
New conversation -
-
-
They do, but you still need testing. Sometimes using types for everything isn't economical, or you might bump up against the limitations of whatever type system you are using.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Even in theorem provers it’s important to have tests to make sure your constructions match your intuition!
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.