费莱森对编程语言的影响 | AI生成和翻译
马蒂亚斯·费莱森是一位德裔美籍计算机科学教授兼作家，因其在编程语言和计算机科学教育领域的重大贡献而广受认可。
他在印第安纳大学伯明顿分校获得博士学位，之后在莱斯大学任教14年，随后加入东北大学科里计算机科学学院担任校董教授。
费莱森的研究兴趣广泛涵盖编程语言领域，包括编程工具、程序设计和软件契约。他尤其以下列贡献闻名：
- 操作语义学：一种形式化定义编程语言结构含义的方法
- 类型安全与渐进类型：确保程序在数据类型方面行为正确的概念，即使在混合不同类型方法时也能保持正确性
- 延续与A-范式：函数式编程中处理控制流和程序结构的高级概念
他职业生涯的重要成就是对计算机科学教育的奉献。1990年代，他发起PLT和TeachScheme!项目（后更名为ProgramByDesign和Bootstrap项目），致力于向初学者传授程序设计原理，并探索使用Scheme语言构建大型系统。这一倡议促使他合著了具有影响力的教科书《如何设计程序》（2001年初版，2018年第二版），该书采用独特方法讲授计算机科学入门课程。他还合著了《The Little Schemer》《The Seasoned Schemer》《Realm of Racket》以及《Semantics Engineering with PLT Redex》等多部著作。
费莱森荣获众多奖项，包括2006年当选ACM会士，2009年获ACM卡尔·V·卡尔斯特伦杰出教育奖，2010年获SIGCSE计算机科学教育杰出贡献奖，以及2012年因对该领域重大而持久的贡献获得ACM SIGPLAN编程语言成就奖。