会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
此后如竟没有炬火 我便是唯一的光
博客园
首页
新随笔
联系
订阅
管理
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 四季夏目天下第一
阅读(46)
评论(0)
推荐(0)
编辑
公告