课程主页：https://bobzhang.github.io/courses/ 本课程主要讲授程序语言设计与实现中的理论和实践，相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节，这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分，但和国外的同类课程不同的是，更多的注重把理论和实践相结合。课程内容包括Lambda演算、parital evaluation、 , 视频播放量 3729、弹幕量 24、点赞数 137、投硬币枚数 104、收藏人数 72、转发人数...