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

来源: infoQ 作者: | 发布时间:

微软发布了一种新的开源编程语言Bosque,旨在通过代数运算来减少复杂性。 Bosque编程语言的开发者是微软计算机科学家Mark Marron,其灵感来自于TypeScript的语法和类型,ML和N

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

订阅源