更文明、优雅的开发语言 Juvix简介 Juvix 将**前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中,以编写可正式验证、可高效执行的智能合约。 其旨在解决尝试编写和部署去中心化应用时遇到的问题,借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
购物车
优惠劵
今日签到
有新私信 私信列表
搜索