2 ms·

Testing is a superset of type checking. And people forget the main thing about TDD: The main goal is to validate your design You don't get that with type syst

Testing is a superset of type checking. And people forget the main thing about TDD: The main goal is to validate your design You don't get that with type systems.