There isn’t for correctly formed code (that is, code that type checks correctly). However, if the code is incorrect then the type checker gives very bad errors.
3 Likes
There isn’t for correctly formed code (that is, code that type checks correctly). However, if the code is incorrect then the type checker gives very bad errors.