I really hope we get to the stage where building systems without static type coverage is as unacceptable as building them without tests.
Conversation
Replying to
Verifying our assumptions using automated tooling is essential if we want to be seriously claim to be called an engineering discipline.
2
2
I'm hopeful watching the next wave of nicely typed langs: , , , , , , , etc!
4
It's definitely reasonable to ask for better proof. Alas it's a hard thing to prove conclusively, which is a big flaw in the argument. 😫
1
My hunch is that the the frustration of trying to build and maintain software in the dynamically type world is base on some truth however.
1
Show replies
