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

发布于2019-04-20 11:25:43

微软发布了一种新的开源编程语言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