Bosque
Bosque
软件描述
Bosque编程语言是一种在机器辅助的快速可靠软件开发生命周期中进行规范化设计的实验。
官方网站
访问软件的官方网站了解更多信息
www.microsoft.com
什么是 Bosque?
Bosque编程语言项目是一项从零开始的语言与工具协同设计工作，旨在探索以下方面的理论与实践意义：
-
显式设计一种代码中间表示语言（或字节码），以支持深度自动化代码推理，并推动下一代开发工具、编译器和运行时系统的部署。
-
利用中间表示的强大能力，提供一种对现代开发者友好且具备丰富实用语言特性的编程语言，适用于构建高可靠性与高性能的应用程序。
-
采用云开发优先的视角，应对向基于微服务、无服务器架构和RESTful架构的分布式云开发模式演进过程中出现的新挑战。
Bosque编程语言融合了经典函数式编程、现代TypeScript/Node.js以及新型中间表示（IR）的优势。其结果是一种既能为现代开发者提供高生产力开发体验，又具备资源高效、行为可预测的运行时环境的语言，可从小型物联网设备扩展至高负载云服务。除了具备现代语言应有的全部表达力外，Bosque还引入了若干创新特性，如类型化字符串和API类型，直接应对分布式云环境中开发者面临的核心挑战。
在以微服务、无服务器函数和RESTful API为基础的云开发模式下，开发面临全新挑战。在此环境下，程序需与多个由不同团队维护（甚至使用不同语言实现）的远程服务进行交互。这迫使API采用最简共通类型进行互操作，导致大量序列化/反序列化/验证逻辑的产生。此外，冷启动、95%响应延迟、容错性及诊断等问题变得至关重要，但传统编程语言在设计时并未考虑这些因素。
为便于与其他研究人员及更广泛的开发者社区协作，本项目基于一个开源（MIT许可证）的GitHub仓库开展。我们欢迎社区贡献，包括问题反馈、评论、拉取请求，以及基于或增强Bosque语言的研究工作。
🔄 替代方案
50 个选择
PHP
一种在服务器上执行的开源脚本语言，PHP 可嵌入 HTML，促进动态网页开发。受 C、Java 和 Perl 影响，它支持数据库集成，拥有丰富的库，对初学者友好，同时为资深开发者提供强大功能。
Lua
Lua 是一种功能强大、快速、轻量级且可嵌入的脚本语言。 Lua 将简单的过程式语法与基于关联数组和可扩展语义的强大数据描述结构相结合。Lua 为动态类型语言，通过解释基于寄存器的字节码运行。
Ruby
Ruby 是一种动态、反射性、通用的面向对象编程语言，其语法受 Perl 启发，同时具备类似 Smalltalk 的特性。Ruby 于 20 世纪 90 年代中期起源于日本，最初由松本行弘（Matz）开发和设计。
JavaScript
JavaScript（有时缩写为JS）是一种轻量级、解释型、面向对象的语言，具有头等函数功能，最著名的是作为网页的脚本语言，但也广泛用于许多非浏览器环境。
