Well, sort of. Dialyzer can do quite well if you run it on code with no typespecs whatsoever, but if you add those, it can detect so many more mistakes (which i

Well, sort of. Dialyzer can do quite well if you run it on code with no typespecs whatsoever, but if you add those, it can detect so many more mistakes (which is the whole point of such tools). No typespecs feels like crippling the tool, except it was designed to be as useful as possible for old code without modifying it. It just shows how useful the typespecs are.