Simon Peyton Jones

简介

Simon Peyton Jones（西蒙·佩顿·琼斯），英国计算机科学家，Haskell 语言委员会核心成员、GHC 编译器数十年的主要架构师，长期供职于微软研究院剑桥实验室，后加入 Epic Games 参与 Verse 语言设计。

主要贡献

他是惰性函数式语言实现技术的集大成者：STG 机器抽象、无堆栈标记的求值模型等成果构成 GHC 后端的基础；在类型系统方面，他与合作者推动了类型类的工程化、GADT、类型族、RankNTypes 等大量扩展落地。他与 Philip Wadler 等人的 monadic I/O 工作解决了纯语言处理副作用的难题；软件事务内存（STM）在 Haskell 的实现亦出自其团队。其论文《The Implementation of Functional Programming Languages》是该领域经典。

影响

他还长期推动英国中小学计算教育改革，并以论文写作与演讲指导广受开发者社区喜爱。