更文明、优雅的开发语言。
Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中,以编写可正式验证、可高效执行的智能合约。
其旨在解决尝试编写和部署去中心化应用时遇到的问题,借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
更文明、优雅的开发语言。
Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中,以编写可正式验证、可高效执行的智能合约。
其旨在解决尝试编写和部署去中心化应用时遇到的问题,借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
数字货币组合跟踪器。 Coincall概述, Coincall信息, Coincall区块链, Coincall维基, Coincall社交, Coincall Medium, Coincall ICO, Coincall回顾, Coincall快讯, Coincall追踪
AssemblyScript 的 Substrate 智能合约 API 与 SDK。 Subscript概述, Subscript信息, Subscript区块链, Subscript维基, Subscript社交, Subscript Medium, Subscript ICO, Subscript回顾, Subscript快讯, Subscript追踪
发现好 DApp。 DappBirds概述, DappBirds信息, DappBirds区块链, DappBirds维基, DappBirds社交, DappBirds Medium, DappBirds ICO, DappBirds回顾, DappBirds快讯, DappBirds追踪
专注于统计「死亡」数字货币的网站。 Dead Coins概述, Dead Coins信息, Dead Coins区块链, Dead Coins维基, Dead Coins社交, Dead Coins Medium, Dead Coins ICO, Dead Coins回顾, Dead Coins快讯, Dead Coins追踪