微软推最新程序语言Bosque 以Functors取代Loop循环

　　微软推出了一种名为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代码示例