研究中心介绍
基础软件中心(DII, Digital Infrastructure Innovation)立足于底层软件的研究与实现,专注于通用程序语言的设计、编译器、运行时、IDE 以及构建系统的研发,实现一整套领先世界、完全自主的程序开发环境。和传统学术研究机构追求理论上的单点创新不同,基础软件中心专注于系统层面,着眼于当下大规模基础软件研发工程上的协同创新和落地。目前,基础软件中心致力于打造专为云计算&边缘计算设计的开发平台,最终完成自有的、可持续的、健康的开发者生态建设。
MoonBit (月兔) 开发平台
发展方向
三大核心优势
• 代码紧凑:通过自身语言类型安全、缩小代码体积减少攻击面、WebAssembly 安全沙箱三大措施,确保数据安全和数据隐私
• 响应快速:同时优化编译性能和运行时性能,百毫秒级别完成 IDE 响应
• 用户友好:平缓的学习曲线,用户易于使用和访问,可允许离线模式下的云 IDE
• 基于新⼀代标准指令集 WebAssembly 的全新开发,为前后端提供⼀站式原生解决方案。
• 为程序语义分析并行和增量化设计的架构、细粒度增量式类型检查与高度并行的语义分析检查。
• 为首个全局优化设计的编程语言工具链,编程语言、编译器、构建系统和集成开发环境高效协同。
• MoonBit 是为 AI 时代而生的编程语言。通过交互式静态分析,MoonBit AI 可以一次性生成正确的代码,并根据你的指令实时修改代码。
• MoonBit AI 不仅能生成计划、执行计划,进行小规模代码审查,还可以不断循环改进。
• 实时代码补全和集成的 IDE 功能,MoonBit AI 为你提供无与伦比的编程体验。
MoonBit 将作为教学语言应用于合作伙伴大学的课堂教学,未来 MoonBit 的教育合作计划有望覆盖更多学校、为数以万计的学生提供技术前沿的学习机会,成为中国高等教育领域的重要合作伙伴。
三大优势
• 无需安装:零安装现代 IDE,实时响应,用户体验佳:不依赖网络延迟。
• 编程思想:现代编程理念:多范式、现代类型系统、类型推导、代数数据类型、模式匹配。
• 趣味实用:工业级生态+丰富的图形界面+多种应用场景,适合教学的同时寓教于乐。
最新动态
研究中心介绍
基础软件中心(DII, Digital Infrastructure Innovation)立足于底层软件的研究与实现,专注于通用程序语言的设计、编译器、运行时、IDE 以及构建系统的研发,实现一整套领先世界、完全自主的程序开发环境。和传统学术研究机构追求理论上的单点创新不同,基础软件中心专注于系统层面,着眼于当下大规模基础软件研发工程上的协同创新和落地。目前,基础软件中心致力于打造专为云计算&边缘计算设计的开发平台,最终完成自有的、可持续的、健康的开发者生态建设。
MoonBit (月兔) 开发平台
发展方向
三大核心优势
• 代码紧凑:通过自身语言类型安全、缩小代码体积减少攻击面、WebAssembly 安全沙箱三大措施,确保数据安全和数据隐私
• 响应快速:同时优化编译性能和运行时性能,百毫秒级别完成 IDE 响应
• 用户友好:平缓的学习曲线,用户易于使用和访问,可允许离线模式下的云 IDE
• 基于新⼀代标准指令集 WebAssembly 的全新开发,为前后端提供⼀站式原生解决方案。
• 为程序语义分析并行和增量化设计的架构、细粒度增量式类型检查与高度并行的语义分析检查。
• 为首个全局优化设计的编程语言工具链,编程语言、编译器、构建系统和集成开发环境高效协同。
• MoonBit 是为 AI 时代而生的编程语言。通过交互式静态分析,MoonBit AI 可以一次性生成正确的代码,并根据你的指令实时修改代码。
• MoonBit AI 不仅能生成计划、执行计划,进行小规模代码审查,还可以不断循环改进。
• 实时代码补全和集成的 IDE 功能,MoonBit AI 为你提供无与伦比的编程体验。
MoonBit 将作为教学语言应用于合作伙伴大学的课堂教学,未来 MoonBit 的教育合作计划有望覆盖更多学校、为数以万计的学生提供技术前沿的学习机会,成为中国高等教育领域的重要合作伙伴。
三大优势
• 无需安装:零安装现代 IDE,实时响应,用户体验佳:不依赖网络延迟。
• 编程思想:现代编程理念:多范式、现代类型系统、类型推导、代数数据类型、模式匹配。
• 趣味实用:工业级生态+丰富的图形界面+多种应用场景,适合教学的同时寓教于乐。
最新动态