3 Implementing (type_check expr env) to type-check an expression. Let us now define our top-level function for type-checking expressions, type_check. This ...
確定! 回上一頁