Jhala 的课是纯用 Haskell 讲 functional programming，链接。Lerner 的 230 和 130 是一门课，会讲一点点 functional 入门的东西，还会讲 logic programming 和 OOP，链接。作业难度 Jhala 比 Lerner 的难一点。[1]