变数、常数和函式的型别附注借由限制资料适当型别的方式，来减少程序设计上的错误。
Type annotation of variables, constants, and functions helps reduce programming errors by limiting data appropriate types.
根据上面提出的论点进行推理，可以设想不再出现大量可能的程序设计错误，促使质量上极大的进步。
By inference based on the argument presented above, one can assume that a large number of the possible programming errors were never made, resulting in tremendous gains in quality.
根据上面提出的论点进行推理，可以设想不再出现大量可能的程序设计错误，促使质量上极大的进步。
By inference based on the argument presented above, one can assume that a large number of the possible programming errors were never made, resulting in tremendous gains in quality.
应用推荐