Toward safe, flexible, and efficient software in Common Lisp - European Lisp Symposium 2025

Robert Smith 从团队维护和数值程序的实际需求介绍 Coalton，一门嵌入 Common Lisp、带静态类型的语言。他用同一类快速傅里叶变换程序比较类型声明、泛型运算和编译器优化，并扩展到有限域上的运算。演讲的核心是怎样在保留泛型源码时，通过单态化为具体类型生成专门代码，让部分运行期开销转到编译阶段。他同时交代代价：专门化需要源码或相应表示，代码体积会增加，速度收益也受具体程序影响。后半段和问答讨论标准库、编辑器、Lisp 互操作及重新定义的限制。讲者还明确承认，当时多态与突变组合的类型健全性问题尚未修复。展示中的计时属于他的案例，不能直接外推到其他程序。

公开机器转写（可能有听写错误） ↗ · 引文按字幕原文展示，可点时间戳回看片段。