Conversation

I really hope we get to the stage where building systems without static type coverage is as unacceptable as building them without tests.

Verifying our assumptions using automated tooling is essential if we want to be seriously claim to be called an engineering discipline.

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Replying to

Full correctness proofs, no. Leveraging lightweight, cheap forms of specification & verification (of which types are one), yes.