PPL

课程简介

这门课的中文名称叫做"程序设计方法学"，但是从下一届开始会改名成"编程语言原理"(好像)

• 课程教材：Practical Foundations for Programming Languages, 2^nd Edition
• 课程作业：平时的小作业+三个实验
• 实验编程语言：OCaml
• 分数占比：作业小测课堂表现30+三个实验30+期末考试40

个人感想

在选课时就听说今年会课改，更加偏向理论，所以吓得我赶紧先去学了一手魔法(SICP)。上第一节课时课程群里有160+的人，于是wk开始以课程无用论进行劝退，好像劝退了几十个人，等lab1出来后人数一下子锐减至60，到了期末实际还在课程内的应该只有40+人了。

课程本身还是很有意思的，就是在脑海中建立一个新的话语体系可能比较折磨人。由于是第一年课改，课件大部分内容就是对课本的翻译，有些地方老师可能念一遍就带过了，课本又写的有些委婉，导致对部分概念有些迷(点名case!)。

虽然过程不容易，但是wk老师给分还是很好的，助教gg们也很nice，硬把我捞full了。

由于这门课只有2学分，而需要花费的时间会偏多，所以建议增加学分数 :)

至于这门课具体学了什么，等我想明白再写吧...

学习资源

OCaml

官方推荐

• 助教 XYX 写的教程：https://www.yuque.com/xianyuxuan/coding/ocaml
• Real World OCaml 在线书：https://dev.realworldocaml.org/
• OCaml 官方文档：https://ocaml.org/docs

个人补充

• cs3110 教材+课程视频 or B站机翻课程视频

• 相对好用的 API 检索网站

PL

• 助教哥哥的笔记：http://mepy.net/pfpl/

• cs242：没有课程视频，但课件挺清楚的

---

最后更新: 2023-01-20
创建日期: 2023-01-20

颜色主题调整

default slate

red pink purple indigo blue cyan teal green lime orange brown grey black white

评论区~

有用的话请给我个赞和 star =>
快来跟我聊天~