历史匿名回执 ·
课程内容：参考书有3本，但主要抱tapl的大腿，其中重点应该是 Lambda Calculus 和 Type inference。最后还有点case analysis，聊聊面向对象、函数式语言的代表语言。课程网站：https://www.cs.sjtu.edu.cn/~kzhu/cs383/ 上课自由度：每节课讲完立刻quiz，你说这自由度高不高😍 考核标准：课堂quiz（10%，每节课都有，按正确率给分），习题课参与度（5%，助教会点人回答，基本上给满了），平时作业（30%），大作业（25%），期末考试（30%） 讲课质量：英文授课，感觉一般般。习题课也是英文，但助教的口语让我有点难绷🥲 这门课3节连上，老师只上前两节，然后助教来一节习题课。线下课还好，除了助教习题课不能和同学统一意见之外，没啥大问题。线上网课之后，老师讲得就像开了变速齿轮，刷刷刷地过ppt，不管你懂没懂，讲完下一秒就是let's have a quiz，那种他急着打卡下班的感觉直接溢出屏幕🏃 前期作业就是写证明，虽然我每次都做得想报警但至少还算在人间。也有那种「这节课布置下节课要用到的知识点，但助教说让大家想一想怎么用这节课的知识点来解题，最后助教自己都没想出来」的迷惑演出。后期讲case analysis时，介绍一个语言的基本语法就让你用这语言写个算法……😅我至今忘不了在SmallTalk前痛哭流涕的那段时光，一想起就想拉住以前的自己。 大作业在https://www.cs.sjtu.edu.cn/~kzhu/cs383/web/project.html ，大约是在他给的框架下写一个解释器。个人感觉得先看懂它todo的每个函数要干嘛（并没有相关注释），或许可以去awesome-cs先扒学长学姐的报告。（框架代码最后修改时间是2013年了，看着像文物。） 给分感觉比较一般。作业迟交只算70%的分（平时作业和大作业都这样，是真的会扣分）。期末考试感觉也比较难（今年网课可以看电子版资料但不能上网查），可能我比较菜吧。quiz的内容基本上ppt里面都能找到（因此他不会在课前发ppt😇），不过由于课程网站不会变（虽然每年会清空一次），我相信学弟学妹们总有办法弄到的。 另外，我个人认为老师的ppt参考的是「十多年前」他自己在国外做postdoc时当TA的那门课（https://www.cs.princeton.edu/courses/archive/fall07/cos441/index.htm )