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