编程语言的「第三条道路」上，走得最远的其实是 C#

2026-09-17 分类：技术专栏阅读(8) 评论(0)

Leroy 是法国科学院院士、法兰西公学院教授，1996 年创造了 OCaml，2024 年拿下了 ACM SIGPLAN 编程语言软件奖。这场近 90 分钟的访谈横跨了函数式编程、形式化验证、内存管理和生成式 AI——几乎每个话题，都能直接映射到 C# 的处境上。