Haskell 的设计师之一耗时九年打造 Cardano_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

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

2026-10-16 05:41:00

菲利普·瓦德勒：从 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 生态系统中，现已存在六种以上的智能合约语言。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文