09 2022 档案

摘要:来进入这一系列课程的最后一 Part 啦! $P1$ 我们介绍了 $ML$,一种 static typing 的 functional language $P2$ 我们介绍了 $Racket$,一种 dynamic typing 的 functional language 回顾一下 函数式编程 的特 阅读全文
posted @ 2022-09-15 22:34 四季夏目天下第一 阅读(79) 评论(0) 推荐(0) 编辑
摘要:ML Versus Racket 同 函数编程模式 (with constructs that encourage a functional style) 不鼓励 mutation (但提供了支持 mutation 的 constructs),头等函数模式 (first-class function 阅读全文
posted @ 2022-09-11 15:12 四季夏目天下第一 阅读(46) 评论(0) 推荐(0) 编辑
摘要:这次 Week 2 的作业比较难,任务目标是使用 $racket$ 给一个虚拟语言 $MUPL$ (made-up programming language) 写一个解释器 所以单独开个贴来好好分析一下 首先是 MUPL 语言的几个 semantic,已经通过 $racket$ struct 的形式 阅读全文
posted @ 2022-09-07 20:01 四季夏目天下第一 阅读(84) 评论(0) 推荐(0) 编辑