访谈正式发布

Type Theory For All 播客推出新集，标题为 PL Education in the Age of AI: Interview with Shriram Krishnamurthi。完整内容已在 typetheoryforall.com/episodes/pl-education-in-the-age-of-ai 页面上线。页面同时提供 Lobsters 讨论链接 https://lobste.rs/s/eoaw1h/pl_education_age_ai_interview_with，方便社区成员直接参与。

这一访谈邀请了长期从事编程语言教育与研究的 Shriram Krishnamurthi。他在 Brown University 的工作涵盖语言设计、软件构建工具以及计算机科学教学方法。本期内容围绕人工智能工具普及后，大学编程语言课程面临的具体调整展开。

PL 与 AI 的核心交集

标题中的 PL 指 Programming Languages，AI 则指向当前快速发展的生成式人工智能技术。访谈聚焦二者交汇点，即编程语言教育如何应对 AI 辅助编码工具的广泛使用。Krishnamurthi 分享了对这一趋势的观察，强调教育者需要重新思考课程目标，而非简单地将 AI 视为辅助。

讨论范围限定在高等教育中的编程语言相关课程，包括类型系统、程序分析、语言语义等传统主题在 AI 背景下的定位。访谈没有泛化到整个计算机科学领域，而是紧扣 PL 教学的具体场景。

编程语言课程内容的调整

AI 工具如大型语言模型能够生成代码、解释语法、甚至辅助调试，这直接冲击传统 PL 课程的作业设计和考核方式。访谈中 Krishnamurthi 指出，教师可能需要减少对简单语法或标准库使用的重复练习，转而增加要求学生理解工具输出背后的原理的内容。

课程可能更重视让学生学会评估 AI 生成的代码质量，而非仅依赖工具完成任务。信号显示，这一调整并非否定 AI，而是让学生在工具辅助下深化对语言机制的认识。传统的手写代码练习或许会与 AI 辅助场景结合，形成新的教学模式。

理论与实践教学的平衡

在 AI 时代，理论计算机科学教育的位置成为访谈关注点之一。Krishnamurthi 讨论了如何维持类型理论、形式语义等抽象内容与实际编程技能之间的平衡。访谈暗示，单纯依赖 AI 工具可能削弱学生对基础理论的掌握，因此课程需要明确理论部分不可被替代。

实践教学则可能融入更多工具使用场景，例如让学生使用 AI 辅助完成语言实现项目，同时要求他们解释实现中的理论依据。这种平衡旨在避免学生成为“工具使用者”而非“系统构建者”。访谈内容显示，Krishnamurthi 倾向于让理论服务于更复杂的实践问题解决。

AI 时代 PL 学习者的能力培养

访谈梳理了学生需要强化的几项能力。首先是对 AI 输出进行批判性审查的能力，包括识别生成代码中的逻辑错误或性能问题。其次是理解编程语言核心概念的能力，这些概念帮助学生在 AI 工具无法覆盖的边缘场景做出判断。

此外，Krishnamurthi 强调构建大型系统时的架构思维，以及与他人协作完成语言相关项目的能力。信号显示，访谈还可能涉及如何培养学生在 AI 辅助下保持创造性，而非被动接受工具建议。这些技能指向的目标是让 PL 学习者在人工智能普及后依然具备独特竞争力。

Lobsters 社区的讨论焦点

访谈页面上线后，Lobsters 社区迅速开放评论入口。早期评论围绕访谈核心议题展开，包括大学是否应该将 AI 工具正式纳入 PL 课程大纲，以及教师如何设计无法被 AI 轻易完成的作业。

部分参与者关注 Krishnamurthi 在 Brown University 的教学实践是否已做出具体改变，例如调整期末项目形式或引入新的评估标准。另一些评论则聚焦理论教学的必要性，讨论在 AI 能快速生成代码的背景下，学习 λ 演算或类型推导是否仍有足够价值。

社区反馈还涉及更广泛的教育公平问题，例如并非所有学生都能平等获取高质量 AI 工具，这是否会加剧 PL 教育中的差距。整体而言，Lobsters 讨论保持了技术社区一贯的务实风格，集中于教学方法的具体调整而非抽象概念。

访谈对 PL 教育未来的启示

本次采访为编程语言教育者提供了一个及时的对话窗口。Shriram Krishnamurthi 结合自身研究与教学经验，分享了对 AI 冲击的应对思路。访谈显示，核心挑战在于如何让学生既能充分利用 AI 工具，又能牢固掌握语言背后的原理。

从课程设计到能力培养，访谈内容指向一种混合教学路径：AI 作为强大助手，但人类教师和学生仍需承担理解、批判和创新的主要责任。Lobsters 社区的开放讨论进一步扩大了这一话题的影响范围，让更多从业者参与到教育变革的思考中。

随着访谈的传播，预计会有更多高校 PL 教师参考其中观点，尝试在本校课程中进行针对性调整。这一过程本身也构成了一次关于计算机科学教育适应技术发展的集体实验。