One interesting aspect is that if the language has any sort of implict type conversions/coercions, then type annotation can change program behavior in possibly

One interesting aspect is that if the language has any sort of implict type conversions/coercions, then type annotation can change program behavior in possibly surprising ways. For example https://blog.polybdenum.com/2022/04/25/when-type-annotations-are-code-too.html https://blog.polybdenum.com/2022/04/25/when-type-annotations...