课程主页：https://bobzhang.github.io/courses/
本课程主要讲授程序语言设计与实现中的理论和实践，相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节，这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分，但和国外的同类课程不同的是，更多的注重把理论和实践相结合。
课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。课程的后半段会根据需要邀请其他嘉宾来进行一些分享。
该课程主要面向对基础软件感兴趣的学生、及从事软件研发的业界同行等，该课程尽量不设前置条件，希望能培养更多学生对基础软件相关领域的兴趣，后续可能会推出一些更专业的课程。
