网址:http://www.liquidity-lang.org
针对 Tezos 智能合约编程的高级语言。
Liquidity,针对 Tezos 智能合约编程的高级语言,完全类型化的函数式语言,使用 OCaml 语法,并严格遵守 Michelson 安全约定,正制定一个正式的核查框架。
Liquidity 特征:任何可以用 Michelson 编写的,都可以用 Liquidity 写成;局部变量值可以存储在局部变量中;;可定义和使用加权类型、记录类型等等。
用 Liquidity 编写的智能合约,可以在当前的主网和 zeronet 上提交。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。