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.
Replying to
I'm hopeful watching the next wave of nicely typed langs: , , , , , , , etc!
4
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Full correctness proofs, no. Leveraging lightweight, cheap forms of specification & verification (of which types are one), yes.