手机版
你好,游客 登录 注册
背景:
阅读新闻

微软发布全新开源编程语言Bosque,以Functors取代Loop循环

[日期:2019-04-19] 来源:Linux社区  作者:Linux [字体: ]

微软推出了一种名为Bosque的新编程语言。 根据语言开发人员Mark Barron的说法,新语言并没有遵循我们今天所知的许多传统程序语言模型。 相反,它选择了“正规化编程模型(Regularized Programming Model)”。据该公司称,它将提高开发人员的工作效率,软件质量,并使编译器和开发人员工具的发展成为黄金时代。

如上所述,Bosques不需要'for','while','do while'循环,它以不同的方式接近条件。 微软推出了“Functors”,用于“循环”,可以提高软件质量。 您可以在下图中看到“Functors”与“循环”的区别。

Bosque编程语言是一个Microsoft Research项目,它正在研究用于编写代码的语言设计,这些代码对于人类和机器来说都是简单,明显且易于推理的。该语言的关键设计特性提供了避免开发和编码过程中意外复杂性的方法。其结果是提高了开发人员的工作效率,提高了软件质量,并支持一系列新的编译器和开发人员工具体验。

微软发布全新开源编程语言Bosque,以Functors取代Loop循环

“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语言用于任何生产工作,而是鼓励仅在此时进行小型/实验性项目的实验。

GitHub页面上列有Bosque代码示例。

PDF幻灯片可以到Linux公社资源站下载:

------------------------------------------分割线------------------------------------------

免费下载地址在 http://linux.linuxidc.com/

用户名与密码都是www.linuxidc.com

具体下载目录在 /2019年资料/4月/19日/微软发布全新开源编程语言Bosque,以Functors取代Loop循环/

下载方法见 http://www.linuxidc.com/Linux/2013-07/87684.htm

------------------------------------------分割线------------------------------------------

Linux公社的RSS地址https://www.linuxidc.com/rssFeed.aspx

本文永久更新链接地址https://www.linuxidc.com/Linux/2019-04/158169.htm

linux
相关资讯       Bosque 
本文评论   查看全部评论 (0)
表情: 表情 姓名: 字数

       

评论声明
  • 尊重网上道德,遵守中华人民共和国的各项有关法律法规
  • 承担一切因您的行为而直接或间接导致的民事或刑事法律责任
  • 本站管理人员有权保留或删除其管辖留言中的任意内容
  • 本站有权在网站内转载或引用您的评论
  • 参与本评论即表明您已经阅读并接受上述条款