微软公布 TypeScript 启发的新语言 Bosque

微软发布了受 TypeScript 语法类型与 ML 和 Node/JavaScript 语义启发的新语言 Bosque ，源代码采用 MIT 许可证，托管在 GitHub上。Bosque 创作者是微软研究院的计算机科学家 Mark Marron，他设计通过拥抱代数运算和避开导致复杂性的技术，试图创造出一种简单易懂的语言，走出 1970 年代兴起的结构化编程模型。结构化编程范例使用循环、条件和子程序去管理流控制。Marron 相信我们可以通过抛弃循环、可变状态和参考相等性等导致复杂性的源头来做到更好。Bosque 代表了被 Marron 称为正规化编程（PDF）的编程范例。