介绍 Yolc | Yolc

主要观点:Yolc 是一种基于 YulDSL/Haskell 为以太坊设计的安全、富有表现力且有趣的语言,旨在满足以太坊生态系统对通用编程语言的需求。
关键信息

  • 2015 年 7 月 30 日以太坊网络上线,如今已处理大量交易和区块,每秒处理 13 笔交易且二层网络进一步提升交易吞吐量。
  • Yolc 嵌入 Haskell 语言,实现以太坊合约 ABI 规范和 Solidity/Yul 领域模型,能在编译为 Solidity/Yul 代码前访问 Haskell 语言特性。
  • Haskell 是纯函数式语言,提供类型级安全特性,如“线性类型”,使 Yolc 具有“线性版本化数据”,避免某些漏洞。
  • Yolc 鼓励编写纯函数,可访问多种 Haskell 特性,如模式匹配等,在生产环境中编写更安全代码,让编程更有趣。
  • 目前 Yolc 技术预览已发布,可生成可部署到以太坊网络的部分 ERC20 代码,有 2025 年第一季度达到与 Solidity 关键特性对等的路线图,且已被 Superfluid Protocol 用于原型设计。
    重要细节
  • 举例说明数据版本化,如获取账户余额时标记数据版本 0,调用外部合约后数据版本变为 1,不同版本数据不能混用。
  • 给出 Haskell 中模式匹配可选(Maybe 类型)数字的示例,展示其表达式和匹配函数的用法。
阅读 24
0 条评论