文件名称：竹子：竹子见https：//github.comcornellblockchainbamboo
文件大小：193KB
文件格式：ZIP
更新时间：2024-02-25 22:21:23
language programming-language bamboo ethereum ethereum-contract
竹：改变智能合约的语言 康奈尔区块链表示，他们现在可以维护Bamboo编译器。 Bamboo是以太坊合约的一种编程语言。 Bamboo默认情况下使状态转换明确，并避免了重入问题。 有关动机，请参阅；如果要首先部署某些内容，请参见如果需要类似定义的内容，请参见。 竹代码示例 编译器 Bamboo编译器有时会生成字节码，需要对其进行测试。 作为准备， 安装与OCaml的4.04.1 opam install bamboo应该安装bamboo 。 当您检出此存储库时， bamboo < src/parse/examples/006auction_first_case.bbo 产生一个字节