微软发布了一种新的开源编程语言Bosque，旨在通过代数运算来减少复杂性。

Bosque编程语言的开发者是微软计算机科学家Mark Marron，其灵感来自于TypeScript的语法和类型，ML和Node/JavaScript的语义。Mark Marron称该语言超越了结构化编程模型，采用了“正规化编程模型（Regularized Programming Model）”。

结构化编程模型主要是通过循环、顺序以及选择等设计来替换掉goto语法，但是当遇到复杂的情况时，结构化编程的代码会更加复杂。为了消除这种复杂性，Mark Marron提出了正规化编程模型。

据Mark Marron论文描述:“该模型建立在结构化编程和抽象数据类型的基础上，它将现有的编程模型简化成一种正则化的形式。这种形式消除了主要的错误来源，简化了代码理解和修改，并将许多代码上的自动化推理任务转换为琐碎的命题。”

结构化编程模型的意外复杂性主要来源于5个方面：可变状态和框架，循环、递归和不变量，不确定的行为，“数据不变”违规，相等与别名。Mark Marron认为循环、可变状态和引用相等（两个引用是否指向同一对象）是结构化编程模型复杂性的主要来源，所以在Bosque的代码中没有“for”、“while”、“do while”循环，而是选择引入了函子（Functors）。

（该Functor等同于 JavaScript 中的 for 循环）

另外，Mark Marron还特别指出了引用相等的复杂性，两个变量指向内存中的同一个对象，看起来是很好解决，但一旦在语义上有了引用相等，那么就要不断考虑它和它引入的指针别名的关系。2001年就有论文提出了引用相等这个问题，但是到了2019年还没有解决。

最初，Bosque的目标是构建自动化的零工作量代码验证、自动化的SemVer检查和编译，但是现在Mark Marron认为Bosque是探索语言设计的新方式，并希望通过与学术界、在线开发人员社区的协作，开发出诸如验证器和编译器之类的自动化开发工具。

目前，Bosque依赖于一个用TypeScript编写的解释器，运行在Node上。Mark Marron计划为WASM和本地代码提前实现编译，在接下来的几个月，他将专注于填写各种待办事项、bug修复以及开发支持用这种语言编写大型程序的功能。

Bosque的GitHub地址：https://github.com/Microsoft/BosqueLanguage

创作场景

受够了结构化编程的复杂，微软发布全新编程语言 Bosque