> It has a far lower false positive rate than the commercial static analyzers I’ve used! Hoo boy. That's not a good thing. A consistent type system doesn't hav

> It has a far lower false positive rate than the commercial static analyzers I’ve used! Hoo boy. That's not a good thing. A consistent type system doesn't have "false positives". Reading between the lines, this means "the type checker is incomplete and allows incorrect types." What is the story here with constraints, polymorphism, etc?