Martin Odersky

简介

Martin Odersky（马丁·奥德斯基），德国计算机科学家，瑞士洛桑联邦理工学院（EPFL）教授，Scala 语言的创造者。

生涯

Odersky 师从 Pascal 之父 Niklaus Wirth。他与 Philip Wadler 合作的 Pizza 及后续 GJ（Generic Java）项目为 Java 引入泛型，其编译器实现被 Sun 采纳为官方 javac，Java 5 的泛型即源于此。2004 年他发布 Scala，把面向对象与函数式编程统一在一个静态类型系统中，运行于 JVM 并与 Java 互操作，被 Twitter、LinkedIn 以及 Spark、Kafka 等大数据基础设施广泛采用。他创办的 Typesafe（后更名 Lightbend）推动 Scala 商业生态；Scala 3 的核心 Dotty 编译器基于其团队提出的 DOT 演算，给出了语言的形式化根基。

影响

Odersky 的工作打通了学术类型理论与工业 JVM 生态，Kotlin、Swift 等语言均受 Scala 影响。