Bosque

Bosque编程语言项目是一项从零开始的语言与工具协同设计工作，旨在探索以下方面的理论与实践意义：

• 显式设计一种代码中间表示语言（或字节码），以支持深度自动化代码推理，并推动下一代开发工具、编译器和运行时系统的部署。

• 利用中间表示的强大能力，提供一种对现代开发者友好且具备丰富实用语言特性的编程语言，适用于构建高可靠性与高性能的应用程序。

• 采用云开发优先的视角，应对向基于微服务、无服务器架构和RESTful架构的分布式云开发模式演进过程中出现的新挑战。

Bosque编程语言融合了经典函数式编程、现代TypeScript/Node.js以及新型中间表示（IR）的优势。其结果是一种既能为现代开发者提供高生产力开发体验，又具备资源高效、行为可预测的运行时环境的语言，可从小型物联网设备扩展至高负载云服务。除了具备现代语言应有的全部表达力外，Bosque还引入了若干创新特性，如类型化字符串和API类型，直接应对分布式云环境中开发者面临的核心挑战。

在以微服务、无服务器函数和RESTful API为基础的云开发模式下，开发面临全新挑战。在此环境下，程序需与多个由不同团队维护（甚至使用不同语言实现）的远程服务进行交互。这迫使API采用最简共通类型进行互操作，导致大量序列化/反序列化/验证逻辑的产生。此外，冷启动、95%响应延迟、容错性及诊断等问题变得至关重要，但传统编程语言在设计时并未考虑这些因素。

为便于与其他研究人员及更广泛的开发者社区协作，本项目基于一个开源（MIT许可证）的GitHub仓库开展。我们欢迎社区贡献，包括问题反馈、评论、拉取请求，以及基于或增强Bosque语言的研究工作。