基础软件中心(DII, Digital Infrastructure Innovation)立足于底层软件的研究与实现,专注于通用程序语言的设计、编译器、运行时、IDE 以及构建系统的研发,实现一整套领先世界、完全自主的程序开发环境。和传统学术研究机构追求理论上的单点创新不同,基础软件中心专注于系统层面,着眼于当下大规模基础软件研发工程上的协同创新和落地。目前,基础软件中心致力于打造专为云计算&边缘计算设计的开发平台,最终完成自有的、可持续的、健康的开发者生态建设。

MoonBit (月兔) 开发平台

发展方向

专为云计算&边缘计算设计的⼀整套端到端开发平台

国内首个工业级编程语言及完整工具链

MoonBit AI

MoonBit与教育

三大核心优势
• 代码紧凑:通过自身语言类型安全、缩小代码体积减少攻击面、WebAssembly安全沙箱三大措施,确保数据安全和数据隐私
• 响应快速:同时优化编译性能和运行时性能,百毫秒级别完成IDE响应
• 用户友好:平缓的学习曲线,用户易于使用和访问,可允许离线模式下的云IDE

• 基于新⼀代标准指令集WebAssembly的全新开发,为前后端提供⼀站式原生解决方案。

为程序语义分析并行和增量化设计的架构、细粒度增量式类型检查与高度并行的语义分析检查。

为首个全局优化设计的编程语言工具链,编程语言、编译器、构建系统和集成开发环境高效协同。

• MoonBit是为AI时代而生的编程语言。通过交互式静态分析,MoonBit AI可以一次性生成正确的代码,并根据你的指令实时修改代码。

• MoonBit AI不仅能生成计划、执行计划,进行小规模代码审查,还可以不断循环改进。

• 实时代码补全和集成的IDE功能,MoonBit AI为你提供无与伦比的编程体验。

MoonBit将作为教学语言应用于合作伙伴大学的课堂教学,未来MoonBit的教育合作计划有望覆盖更多学校、为数以万计的学生提供技术前沿的学习机会,成为中国高等教育领域的重要合作伙伴。

 

三大优势

• 无需安装:零安装现代IDE,实时响应,用户体验佳:不依赖网络延迟。

编程思想:现代编程理念:多范式、现代类型系统、类型推导、代数数据类型、模式匹配。

• 趣味实用:工业级生态+丰富的图形界面+多种应用场景,适合教学的同时寓教于乐。

最新动态

MoonBit(月兔)开发平台

现代编程思想公开课

MoonBit Core 开源

负责人

  • 张宏波

    基础软件中心负责人

    张宏波现任基础软件中心讲席科学家、Moonbit平台负责人,是通用程序语言ReScript的作者,程序语言OCaml前核心开发人员。本科毕业于清华大学电子系,在美国宾夕法尼亚大学读博期间受Bloomberg邀请,从事函数式语言编译器的开发工作。

    张宏波主导的ReScript语言,目前仍是唯一一个由中国人制作的、在国际范围内有重要影响力的通用程序语言。该语言项目始于其个人兴趣,后广泛被世界各地的程序员采用。除英语外,ReScript官方文档已被翻译成中文、韩语、葡萄牙语等多国语言版本。

基础软件中心

日期:2022-11-06
  • 分享:
基础软件中心(DII, Digitial Infrastructure Innovation)立足于底层软件的研究与实现,专注于通用程序语言的设计、编译器、运行时、IDE 以及构建系统的研发,实现一整套领先世界、完全自主的程序开发环境。在此基础上,最终实现可持续的、健康的程序开发环境生态建设。和传统学术研究机构追求理论上的单点创新不同,基础软件中心专注于系统层面,着眼于当下大规模基础软件研发工程上的协同创新和落地,以解决我国长期以来在基础软件领域因缺乏基础研究被“卡脖子”的现状,最终完成自有的、可持续的、健康的开发者生态建设,真正实现软件工程领域的高质量发展。

基础软件中心(DII, Digital Infrastructure Innovation)立足于底层软件的研究与实现,专注于通用程序语言的设计、编译器、运行时、IDE 以及构建系统的研发,实现一整套领先世界、完全自主的程序开发环境。和传统学术研究机构追求理论上的单点创新不同,基础软件中心专注于系统层面,着眼于当下大规模基础软件研发工程上的协同创新和落地。目前,基础软件中心致力于打造专为云计算&边缘计算设计的开发平台,最终完成自有的、可持续的、健康的开发者生态建设。

MoonBit (月兔) 开发平台

发展方向

专为云计算&边缘计算设计的⼀整套端到端开发平台

国内首个工业级编程语言及完整工具链

MoonBit AI

MoonBit与教育

三大核心优势
• 代码紧凑:通过自身语言类型安全、缩小代码体积减少攻击面、WebAssembly安全沙箱三大措施,确保数据安全和数据隐私
• 响应快速:同时优化编译性能和运行时性能,百毫秒级别完成IDE响应
• 用户友好:平缓的学习曲线,用户易于使用和访问,可允许离线模式下的云IDE

• 基于新⼀代标准指令集WebAssembly的全新开发,为前后端提供⼀站式原生解决方案。

为程序语义分析并行和增量化设计的架构、细粒度增量式类型检查与高度并行的语义分析检查。

为首个全局优化设计的编程语言工具链,编程语言、编译器、构建系统和集成开发环境高效协同。

• MoonBit是为AI时代而生的编程语言。通过交互式静态分析,MoonBit AI可以一次性生成正确的代码,并根据你的指令实时修改代码。

• MoonBit AI不仅能生成计划、执行计划,进行小规模代码审查,还可以不断循环改进。

• 实时代码补全和集成的IDE功能,MoonBit AI为你提供无与伦比的编程体验。

MoonBit将作为教学语言应用于合作伙伴大学的课堂教学,未来MoonBit的教育合作计划有望覆盖更多学校、为数以万计的学生提供技术前沿的学习机会,成为中国高等教育领域的重要合作伙伴。

 

三大优势

• 无需安装:零安装现代IDE,实时响应,用户体验佳:不依赖网络延迟。

编程思想:现代编程理念:多范式、现代类型系统、类型推导、代数数据类型、模式匹配。

• 趣味实用:工业级生态+丰富的图形界面+多种应用场景,适合教学的同时寓教于乐。

最新动态

MoonBit(月兔)开发平台

现代编程思想公开课

MoonBit Core 开源

负责人

  • 张宏波

    基础软件中心负责人

    张宏波现任基础软件中心讲席科学家、Moonbit平台负责人,是通用程序语言ReScript的作者,程序语言OCaml前核心开发人员。本科毕业于清华大学电子系,在美国宾夕法尼亚大学读博期间受Bloomberg邀请,从事函数式语言编译器的开发工作。

    张宏波主导的ReScript语言,目前仍是唯一一个由中国人制作的、在国际范围内有重要影响力的通用程序语言。该语言项目始于其个人兴趣,后广泛被世界各地的程序员采用。除英语外,ReScript官方文档已被翻译成中文、韩语、葡萄牙语等多国语言版本。