typechecker
名词 n.
英文释义
名词 n.
-
A system or algorithm that verifies values against their required data types, according to the type system of the language.
— The catch is that to get the full benefits of the type checker, the programmers have to add complex annotations to their code.
词形变化
词源
From type + checker.
0 次浏览
数据来源: Wiktionary