Dunno about "wrong" but I really do like having what the author calls "open-world" soundness in Typed Racket. Other than that it really depends where. How bad unsoundness is depends on how sneaky the resulting errors…
Dunno about "wrong" but I really do like having what the author calls "open-world" soundness in Typed Racket. Other than that it really depends where. How bad unsoundness is depends on how sneaky the resulting errors…