Unit testing is a good idea in any language. If you look at their tests, I doubt many of them look like type checks. I bet most of them are logic tests. The

Unit testing is a good idea in any language. If you look at their tests, I doubt many of them look like type checks. I bet most of them are logic tests. The compiler would not negate the usefulness of such tests.