微软带来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语义的组合的启发