结构化编程已经好多年，大概是上个世纪70年代。如今微软准备新玩具，来看看。
如果您正在考虑学习编程语言，那么肯定有很多可供选择 – 而且微软刚刚添加了一个新的供您考虑。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