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

I would say that Clojure.spec is another very cool approach to the same problem. And not all type systems are created equal.