> incremental typechecking sounds small but isn’t. It pays huge dividends in developer productivity. As Dale notes, “Refactors that used to take weeks take days, sometimes less..."
Just out of curiosity, what is the basis of claims like that? What types of bugs does static typing prevent, and how pervasive are those bugs otherwise?
Just out of curiosity, what is the basis of claims like that? What types of bugs does static typing prevent, and how pervasive are those bugs otherwise?