微软推出了一种名为 Bosque 的全新程序语言。据语言的开发者 Mark Barron 介绍，Bosque 并未遵循目前大家熟知的传统程序语言模式，而是采用“正规化编程模型（Regularized Programming Model）”。微软称其将提高开发者的工作效率，软件质量，并将开启编译器和开发人员工具集的黄金发展年代。
“Functors”与“Loop 循环”的区别
Bosques 解决了意外复杂性（Accidental Complexity）的五大主要来源：
- 可变状态和框架 / Mutable State and Frames；
- 循环、递归和不变量 / Loops, Recursion, and Invariants；
- 不确定性为 / Indeterminate Behaviors；
- 数据不变违规 / Data Invariant Violations；
- 平等和别名 / Equality and Aliasing
如上所述，Bosques 不需要’for’，’while’，’do while’ 等 Loop 循环语句，微软推出了“Functors（功能）”，取代“Loop 循环”，可以提高软件编译质量。
拥有 JavaScript 脚本或者 TypeScript（它是 JavaScript 的超集）语言基础的开发人员将更好地理解 Bosque 代码，Bosque 语言受 TypeScript 语法、类型，以及 ML 和 Node / JavaScript 语义的组合的启发 。要详细了解 Bosque 语言，请查看 Microsoft 此篇研究论文。
GitHub 页面上列有 Bosque 代码示例。