微软或推出新的(和更简单的)开源编程语言

4.25_.2_.1_.jpg

 
结构化编程已经好多年,大概是上个世纪70年代。如今微软准备新玩具,来看看。
 

4.25_.2_.2_.png

 
 
如果您正在考虑学习编程语言,那么肯定有很多可供选择 – 而且微软刚刚添加了一个新的供您考虑。Bosque部分由TypeScript启发,部分由Node.js启发,是一种开源语言,试图一直保持简单。
 
微软表示,博斯克的主要目标之一是创建易于人类和机器阅读的代码,消除“意外复杂性”。
 
根据微软研究院的马克·马龙(Mark Marron)的说法,现在是时候超越20世纪70年代的结构化编程范式,而且更加简单。借助微软新的开源编程语言Bosque,他正试图做到这一点。
 
Marron认为Bosque是一个全新的模型,他称之为“正规化编程”,因为它消除了意外创建复杂性的技术 – 如循环,条件和子程序 – 而是专注于代数运算。
 
“这个模型建立在结构化编程和抽象数据类型的成功基础之上,它将现有的编程模型简化为一个规范化的形式,消除了主要的错误来源,简化了代码理解和修改,并将许多自动推理任务转换为琐碎的命题,”他在他的技术论文中解释道。
 
“结果”,根据该项目的GitHub页面,“提高了开发人员的工作效率,提高了软件质量,并[实现了]一系列新的编译器和开发人员工具体验。”
 
“Bosque [目前]依赖于用TypeScript编写的解释器,在Node.js上运行,作为参考实现,” The Register的Thomas Claburn 指出。[但]展望未来,Marron打算为WASM和本机代码实现提前编译。“他还将”专注于填写各种TODO项目,错误修复以及开发支持编写更大程序的功能语言。“
 
Marron希望他的创作能很快在学术界之外找到它的位置,可能是在云端或物联网应用中,因为它“可以编译成一个小的足迹,可以快速启动,并可以通过符号分析验证其正确性。”
 
有关更多信息以及代码示例,请查看Bosque GitHub页面。
https://github.com/Microsoft/B … ew.md
 

原创文章,作者:ItWorker,如若转载,请注明出处:https://blog.ytso.com/257903.html

(0)
上一篇 2022年5月19日
下一篇 2022年5月19日

相关推荐

发表回复

登录后才能评论