Jhala 的课是用 Haskell 讲函数式编程,链接。Lerner 的 230 和 130 是一门课,会讲一点点 functional 入门的东西,还会讲 logic programming 和 OOP,链接。作业难度 Jhala 比 Lerner 的难一点。