Tests are supposed to ensure functionality, not implementation. No useful unit test has ever been made obsolete by a type system. Likewise, if your tests claim your program fulfills its functionality, the type system ads no additional information to the discussion.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies: