Liquidity's logo

Liquidity,針對 Tezos 智能合約編程的高級語言,完全類型化的函數式語言,使用 OCaml 語法,並嚴格遵守 Michelson 安全約定,正制定一個正式的核查框架。 Liquidity 特徵:任何可以用 Michelson 編寫的,都可以用 Liquidity 寫成;局部變量值可以存儲在局部變量中;;可定義和使用加權類型、記錄類型等等。 用 Liquidity 編寫的智能合約,可以在當前的主網和 zeronet 上提交。

已複製到剪貼簿