testing-concept-type-checking-reduces-need-for-testing

Joe Ferris talks about in podcast-giant-robots-155-cto-duties

Also

podcast-giant-robots-154-do-it-right-the-first-time#type-safety-is-another-form-of-documentation-like-tests

It's just another form of documentation, just like tests. You can make up for it with a ton of test cases. That seems like more work to me.

 

I believe they also talk about it in podcast-bike-shed-episode-23-rust a little bit.

Referring Pages

codedtested