说实话这门课邵老师讲的过于简单了，就是：局限的课本内容充足的习题课充足的讲故事时间+充足的思考题时间这门课有这么多时间干嘛不去讲讲热统，还是要把一切东西丢给大家自己去自学~感觉似乎想学多一点东西的可以去韩良老师班逛一逛~但是对于我这种只会摸鱼没有考试push就没法学习的怎么办呢，希望大家还是多点自律 >>更多

我自学过 haskell 和 agda。然后对 plt 十分感兴趣，所以选了这课，但是比较失望。我看了陈意云老师和张昱老师写的书《程序设计语言理论》，但这门课所讲的内容相比那本书浅太多了，上课内容基本是科普。 几次编程作业也比较简单，第一次是用 lua 写 rpc，大概一两百行？第二次是用 coq >>更多

冯新宇老师去南大了，现在只有张昱老师在上，课程内容和boj的评价https://icourse.club/course/5163/ 有很大的差别。这学期的实验有三个：使用Lua实现序列化和反序列化，然后在实现个RPC库。完成Software Foundations中Lists那一章https://s >>更多

这门课挺困难的，不过会讲程序语言的设计原理和函数式编程，能学到不少东西。我印象里至少讲了这些东西：过程式编程语言的基本概念（类型系统、变量作用域、生存期等）及比较（C、Java）面向对象编程语言的基本概念（继承、多态）及比较（C++、Java、JavaScript）并发程序的内存模型程序语言语义的形 >>更多

给分其实还好，课程挺难的，覆盖面广，能学到很多，大神们一致好评，学渣慎选，没兴趣慎选，可以认为不调分。 平时10(然而一般点名不算分)，作业30(覆盖面广，需要多查资料才会做，认真的话25+应该不难)，大作业30(满分不难)，论文30，没有考试！ 测试时赶时间偷懒，大作业崩了，相当于总评扣了9分(吐 >>更多

先说下，我是作为本科专业方向课来修的。老师开课第一句话说的是，我们这个课讲的程序设计语言不是程序设计，233。然后课程内容，包括函数式语言，命令式语言，OO语言等等的特点、原理介绍。其中最主要的部分是函数式语言，包括介绍，haskell的编写，拉姆达演算，编译运行时环境等。对于我个人来说，接触到了很 >>更多