Metadata
Author: WikiMatrix
Data
English[en]
In complex forms of higher-order programming and polymorphism, it is not always possible for the compiler to infer as much, and type annotations are occasionally necessary for disambiguation.
Chinese[zh]
在高阶编程和多态性的高度复杂的情况下,编译器不能总是如此推论,偶尔需要类型标注来去除歧义。