Liquidity

网址:http://www.liquidity-lang.org

针对 Tezos 智能合约编程的高级语言。

Liquidity,针对 Tezos 智能合约编程的高级语言,完全类型化的函数式语言,使用 OCaml 语法,并严格遵守 Michelson 安全约定,正制定一个正式的核查框架。

Liquidity 特征:任何可以用 Michelson 编写的,都可以用 Liquidity 写成;局部变量值可以存储在局部变量中;;可定义和使用加权类型、记录类型等等。

用 Liquidity 编写的智能合约,可以在当前的主网和 zeronet 上提交。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

比特币Coin Dance

详细的区块信息表,方便查找比特币相关的专业数据。 Coin Dance概述, Coin Dance信息, Coin Dance区块链, Coin Dance维基, Coin Dance社交, Coin Dance Medium, Coin Dance ICO, Coin Dance回顾, Coin Dance快讯, Coin Dance追踪

ADACoinness

及时、全面、专业、准确的币圈动态及实时行情等。 Coinness概述, Coinness信息, Coinness区块链, Coinness维基, Coinness社交, Coinness Medium, Coinness ICO, Coinness回顾, Coinness快讯, Coinness追踪

MATICFlight Plan

以设计为主导的区块链产品平台。 Flight Plan概述, Flight Plan信息, Flight Plan区块链, Flight Plan维基, Flight Plan社交, Flight Plan Medium, Flight Plan ICO, Flight Plan回顾, Flight Plan快讯, Flight Plan追踪

FTXRatingToken

给你一把尺,量化区块链。 RatingToken概述, RatingToken信息, RatingToken区块链, RatingToken维基, RatingToken社交, RatingToken Medium, RatingToken ICO, RatingToken回顾, RatingToken快讯, RatingToken追踪

[0:31ms0-2:905ms