先说下，我是作为本科专业方向课来修的。老师开课第一句话说的是，我们这个课讲的程序设计语言不是程序设计，233。

然后课程内容，包括函数式语言，命令式语言，OO语言等等的特点、原理介绍。其中最主要的部分是函数式语言，包括介绍，haskell的编写，拉姆达演算，编译运行时环境等。对于我个人来说，接触到了很多以前没考虑过的程序设计之后的东西，算是收获很大

老冯是搞程序证明自动化的，跟反人类的函数式打交道最多。老冯比较喜欢对这方面有兴趣的人，因为实在太少了。如果你编程有点水平，有对这个感兴趣，完全可以跟这个老板。

然而不想进他们实验室的话也并不妨碍这个课程拿分。课程作业不多，最后有大作业作为期末评判。比如我最后很浅显的写了关于函数式在我的另一个系统中的应用与思考，就在唯一的一次课堂点到都缺席的情况下得了A。其实我甚至连一个完整的haskell程序都写不利索。

给分的话听说这两年成绩都不错，身边同学一般也都在A-以上，如果你不反感程序设计，不妨一试