Bosque

Bosque 编程语言项目是一项基础语言和工具协同设计工作，重点研究以下方面的理论和实际含义： 明确设计一种代码中间​​表示语言（或字节码），以实现深度自动化代码推理以及下一代开发工具、编译器和运行时系统的部署。 利用中间表示的强大功能来提供一种编程语言，该语言既易于现代开发人员使用，又提供了一组丰富的有用语言功能，用于开发高可靠性和高性能应用程序。 当我们进入基于微服务、无服务器和 RESTful 架构的分布式云开发模型时，以云开发为先的编程视角来应对新出现的挑战。Bosque 编程语言建立在经典函数式编程、现代 TypeScript/Node.js 以及新 IR 的强大功能之上。其结果是一种语言，同时支持现代开发人员可用的高生产力开发体验，同时还提供资源高效且可预测的运行时，从小型物联网扩展到负载较重的云服务。除了带来现代语言所期望的所有表达能力之外，Bosque 语言还引入了一些新颖的功能，例如类型化字符串和 API 类型，这些功能可以直接解决在基于分布式云的世界中工作的开发人员所面临的挑战 转向基于云的开发以及基于微服务、无服务器功能和 RESTful API 的架构，给开发带来了新的挑战。在这种环境中，程序可以与由不同团队维护的许多其他（远程）服务进行互操作（并且可能用不同的语言实现）。这迫使 API 使用最小公分母类型进行互操作，并需要广泛的序列化/反序列化/验证逻辑。此外，冷服务启动、95% 响应时间、弹性和诊断等问题都变得至关重要，但在大多数传统语言中都没有成为设计考虑因素。 为了简化与其他研究人员和更广泛的开发人员社区的协作，该项目围绕开源 (MIT) 许可的 GitHub 存储库进行设置。该项目欢迎社区贡献，包括基于或增强Bosque 语言的问题、评论、拉取请求和研究。

Bosque 编程语言项目旨在通过语言和工具协同设计，为现代开发者提供易用且功能丰富的编程语言，以构建高可靠性、高性能的应用，并专注于云开发。