DESIGNING TYPE INFERENCE FOR HIGH QUALITY TYPE ERRORS

Summary from the TLDR Web Dev newsletter

Design better type inference for better error messages by avoiding guesses and backtracking in the type checking process. Clear and concise error messages are important, as they should pinpoint the exact location of the issue. All inferred types should be able to be explicitly written.