微软推出新的编程语言Bosque。按照语言开发者MarkBa??rron的说法,Bosque并没有遵循众所周知的传统编程语言模型,而是采用了“正则化编程模型(RegularizedProgrammingModel)”。微软表示,它将提高开发人员的生产力和软件质量,并迎来编译器和开发人员工具集的黄金时代。“Functors”和“Looploop”的区别Bosques解决了偶然复杂性(AccidentalComplexity)的五个主要来源:-变量状态和框架/MutableStateandFrames;-循环、递归和不变量/循环、递归和不变量;-不确定性是/不确定的行为;-DataInvariantViolations/DataInvariantViolations;-EqualityandAliasing/EqualityandAliasing如前所述,Bosques 不需要'for','while','dowhile'等Loop语句,微软引入了“Functors(函数)”来代替“Loop”,可以提高软件编译的质量。具有JavaScript或TypeScript(JavaScript的超集)基础的开发人员将更好地理解Bosque代码,其灵感来自TypeScript语法、类型以及ML和Node/JavaScript语义的组合。要了解有关Bosque语言的更多信息,请查看Microsoft的这篇研究论文。Bosque代码示例列在GitHub页面上
