|
|
51CTO旗下网站
|
|
移动端

微软推最新程序语言Bosque 以Functors取代Loop循环

微软推出了一种名为Bosque的全新程序语言。据语言的开发者Mark Barron介绍,Bosque并未遵循目前大家熟知的传统程序语言模式,而是采用“正规化编程模型(Regularized Programming Model)”。

作者:佚名来源:|2019-04-19 08:15

 

微软推出了一种名为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语义的组合的启发 。要详细了解Bosque语言,请查看Microsoft此篇研究论文。

GitHub页面上列有Bosque代码示例

【编辑推荐】

  1. 微软正式释出基于 Chromium 的 Edge 预览版本
  2. 微软宣布全新命令行+脚本工具:PowerShell 7统一兼容性
  3. Edge on Linux会推出吗?看微软怎么说
  4. 谷歌Chrome浏览器极速模式Never Slow Mode细节曝光
  5. 微软放大招,惊现杨超越鼓励师编程插件!
【责任编辑:张燕妮 TEL:(010)68476606】

点赞 0
分享:
大家都在看
猜你喜欢

订阅专栏+更多

CentOS文件服务的最佳实战

CentOS文件服务的最佳实战

涨薪跳槽必备技能
共15章 | 追风蚂蚁

79人订阅学习

小白网工宝典

小白网工宝典

一次搞定思科华为
共15章 | 思科小牛

295人订阅学习

防火墙大佬修炼手册

防火墙大佬修炼手册

网工达人必备
共20章 | 捷哥CCIE

324人订阅学习

读 书 +更多

网络管理员考试考前冲刺预测卷及考点解析

本书依据最新版《网络管理员考试大纲》的考核要求,深入研究了历年网络管理员考试试题的命题风格和试题结构,对考查的知识点进行了提炼,并...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊

51CTO服务号

51CTO播客