微软新程序语言Bosque采用“正规化编程模型”用Functors取代Loop循环

2019-05-1712:00:13编程语言入门到精通Comments1,723 views字数 650阅读模式

微软推出了一种名为Bosque的全新程序语言。据语言的开发者MarkBarron介绍,Bosque并未遵循目前大家熟知的传统程序语言模式,而是采用“正规化编程模型(RegularizedProgrammingModel)”。微软称其将提高开发者的工作效率,软件质量,并将开启编译器和开发人员工具集的黄金发展年代。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

微软新程序语言Bosque采用“正规化编程模型”用Functors取代Loop循环文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

“Functors”与“Loop循环”的区别文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

Bosques解决了意外复杂性(AccidentalComplexity)的五大主要来源:文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

-可变状态和框架/MutableStateandFrames;文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

-循环、递归和不变量/Loops,Recursion,andInvariants;文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

-不确定性为/IndeterminateBehaviors;文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

-数据不变违规/DataInvariantViolations;文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

-平等和别名/EqualityandAliasing文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

如上所述,Bosques 不需要'for','while','dowhile'等Loop循环语句,微软推出了“Functors(功能)”,取代“Loop循环”,可以提高软件编译质量。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

拥有JavaScript脚本或者TypeScript(它是JavaScript的超集)语言基础的开发人员将更好地理解Bosque代码,Bosque语言受TypeScript语法、类型,以及ML和Node/JavaScript语义的组合的启发。要详细了解Bosque语言,请查看Microsoft此篇研究论文。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

GitHub页面上列有Bosque代码示例。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/12473.html

  • 本站内容整理自互联网,仅提供信息存储空间服务,以方便学习之用。如对文章、图片、字体等版权有疑问,请在下方留言,管理员看到后,将第一时间进行处理。
  • 转载请务必保留本文链接:https://www.cainiaoxueyuan.com/ymba/12473.html

Comment

匿名网友 填写信息

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen:

确定