【PConline资讯】微软推出了一种名为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代码示例
|
正在阅读:微软推出最新程序语言Bosque 以Functors取代Loop循环微软推出最新程序语言Bosque 以Functors取代Loop循环
2019-04-22 10:58
出处:其他
责任编辑:liwen1