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