据介绍,Bosque建立在结构化编程和抽象数据类型的成功基础之上,将现有的编程模型简化为一个规范化的形式,消除了主要的错误来源,简化了代码理解和修改,并将许多自动推理任务转换为细小的命题。
Bosque受TypeScript语法、类型,以及ML和Node / JavaScript语义的组合的启发,遵循MIT开源许可,你可以点此前往其GitHub页面进行详细了解。
广告声明:文内含有的对外跳转链接(包括不限于超链接、二维码、口令等形式),用于传递更多信息,节省甄选时间,结果仅供参考,IT之家所有文章均包含本声明。