Haskell 的设计师之一耗时九年打造 Cardano

菲利普·瓦德勒：从 Haskell 到 Cardano 智能合约的核心人物

菲利普·瓦德勒（Philip Wadler）是 Haskell 编程语言的主要设计者之一，也是 @Cardano ($ADA) 背后研究工作的核心人物。Haskell 构成了该区块链的核心基础，而瓦德勒通过 @IOGroup 参与了其智能合约工具链的开发。

从 Haskell 到 Cardano 智能合约

英国皇家学会将瓦德勒描述为 Haskell 的主要设计者，并指出他对 Haskell 的两大主要创新——类型类（type classes）和单子（monads）——做出了重要贡献。爱丁堡大学表示，他的研究影响了包括 Java、Go、Swift 和 Haskell 在内的多种广泛使用的语言的设计。

在 Input Output Global (IOG)，瓦德勒与曼努埃尔·查克拉巴蒂（Manuel Chakravarty）共同创造了 Plutus。IOG 将 Plutus 描述为该区块链的智能编程语言。根据其爱丁堡大学的个人简介，瓦德勒在该公司目前的头衔是首席研究研究员。

据同一篇 IOG 文章所述，瓦德勒还参与了 IOG 对扩展 UTXO 模型的研究，这是 Cardano 所使用的账本模型。

获得皇家学会认可

2023 年，瓦德勒当选为英国皇家学会院士。爱丁堡大学信息学院指出，他加入了一份过往院士名单，其中包括艾萨克·牛顿、查尔斯·达尔文、阿尔伯特·爱因斯坦和斯蒂芬·霍金。皇家学会的表彰词肯定了他引入类型类和单子的贡献，以及帮助将泛型引入 Java 的工作。

近期关于 Plinth 的研究

瓦德勒近期的研究包括 Plinth，这是一种用于编写 Cardano 智能合约的语言。由瓦德勒和查克拉巴蒂合著的一篇论文，于 2025 年在 ACM SIGPLAN Haskell 研讨会上发表。该论文指出，Plinth（前身为 Plutus Tx）复用了 Haskell 语法的一个子集，并自 2021 年起已在商业环境中投入使用。

论文补充道，Plutus 程序运行在一台具有 Agda（一种证明助手）形式化规范的机器上，这支持了对合约是否按预期运行的验证工作。

据论文作者称，对于开发人员而言，Plinth 程序的吸引力在于它们使用标准的 Haskell 语法和类型。同一篇论文还指出，仅在 Cardano 生态系统中，现已存在六种以上的智能合约语言。