摘要: 博客园,我又回来啦! Static & Dynamic environment 在ML语言中,每当出现一个新的语句,我们都用现存的 Static / Dynamic Environment 对它进行 type-check / Evaluate。 只有通过 type-check 的语句才不会出现错误。 阅读全文
posted @ 2022-03-14 22:18 四季夏目天下第一 阅读(44) 评论(0) 推荐(0) 编辑