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