微软发布了一种新的开源编程语言 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）。
另外，Mark Marron 还特别指出了引用相等的复杂性，两个变量指向内存中的同一个对象，看起来是很好解决，但一旦在语义上有了引用相等，那么就要不断考虑它和它引入的指针别名的关系。2001 年就有论文提出了引用相等这个问题，但是到了 2019 年还没有解决。
最初，Bosque 的目标是构建自动化的零工作量代码验证、自动化的 SemVer 检查和编译，但是现在 Mark Marron 认为 Bosque 是探索语言设计的新方式，并希望通过与学术界、在线开发人员社区的协作，开发出诸如验证器和编译器之类的自动化开发工具。
目前，Bosque 依赖于一个用 TypeScript 编写的解释器，运行在 Node 上。Mark Marron 计划为 WASM 和本地代码提前实现编译，在接下来的几个月，他将专注于填写各种待办事项、bug 修复以及开发支持用这种语言编写大型程序的功能。
Bosque 的 GitHub 地址： https://github.com/Microsoft/BosqueLanguage
评论