编程语言探索的时代正在到来

📋 概述

面对 TYPES 邮件列表上程序语言研究者因 AI 冲击而弥漫的悲观情绪，作者提出截然不同的乐观立场。他认为 LLM 让写代码变得高效，人类将越来越少地亲自写代码，但这并不影响 PL 研究中那些优美、有趣的想法本身；绝大多数编程语言本来除了作者之外没有任何用户。相反，LLM 提供了强大的工具，让研究者能更快地验证反事实假设、挑战比以往更宏大疯狂的问题。