juvix:更优雅的语言更文明的时代 源码

尤维克斯 总览 将高级前端语法,相关线性类型的核心语言,整个程序优化系统和可后端交换的执行模型综合到一个统一的堆栈中,以编写可正式验证,可高效执行的智能合约,该合约可部署到各种应用程序中分布式分类帐。 Juvix旨在解决尝试编写和部署去中心化应用程序时遇到的问题,以及我们在整个生态系统中观察到的问题:有效验证的难度,组成复杂性的上限,执行成本难以辨认以及锁定-在特定的后端。 为了做到这一点,Juvix借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果,我们认为这些研究在这些问题上具有高度的适用性。 Juvix的编译器体系结构是为智能合约用例的特殊要求和经济折衷而专门设计的,