6.2 Types and Type Checking. A typechecker is a function that maps an AST that represents an expression into its type. For example, if variable x is an ...
確定! 回上一頁