微软的新编程语言“Bosque”不喜欢循环

微软推出了一种名为 Bosque 的新编程语言。 据该语言的开发者 Mark Ba​​rron 说，这种新语言并没有遵循我们今天所知道的许多传统模型。 相反，它选择了“规范化编程模型”，据该公司称，这将提高开发人员的生产力、软件质量，并实现编译器和开发人员工具开发的黄金时代。

Bosque 解决了意外复杂性的五个主要来源。 它们是“可变状态和帧”、“循环、递归和不变量”、“不确定行为”、“数据不变违规”和“平等和混叠”。

如上所述，Bosques 不需要“for”、“while”、“do while”循环，它以不同的方式处理条件。 微软引入了“函子”，其目的是“循环”，可以提高软件质量。 您可以在下图中看到“函子”与“循环”的不同之处。

那些熟悉 JavaScript 及其框架 TypeScript（它是 JavaScript 的超集）的人会比其他任何人都更好地理解 Bosque 代码，因为 Bosque 语言源自 TypeScript 启发的语法和类型以及 ML 和 Node/JavaScript 启发的语义的组合. 详细了解博斯克语 查看微软的这篇研究论文. 您还可以在以下位置找到代码示例 GitHub上.

通过： WinFuture