21CTO导读：结构化编程已经发展了好多年，那大概是上个世纪70年代。如今微软准备新玩具，一起来看看。

 
 
如果您正在考虑学习新编程语言，那么市面有很多可供选择 - 而且微软刚刚发明了一个新的供选择。那就是Bosque，它是受到TypeScript启发，部分由Node.js启发，是一种开源语言，试图一直保持简单。
微软表示，Bosque的主要目标之一是创建易于人类和机器阅读的代码，消除“意外复杂性”。

根据微软研究院的马克·马龙（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/BosqueLanguage/blob/master/docs/language/overview.md

 

编译：老夏
来源：21CTO社区