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