While DeepScan finds some type-related errors, it focuses on finding issues orthogonal to type checking. For comparison with Java, DeepScan is like FindBugs.

While DeepScan finds some type-related errors, it focuses on finding issues orthogonal to type checking. For comparison with Java, DeepScan is like FindBugs. Check the reply that I have wrote for shamas.