微软发布开源编程语言Bosque
2019/04/21 21:02AI云资讯10769
4月21日消息 微软本周发布了新的编程语言Bosque,它是一种追求简洁的开源编程语言。
Bosque出自微软计算机科学家Mark Marron之手。Mark Marron表示,Bosque没有遵循传统的结构化编程模型,他认为后者的循环、可变状态和引用等带来了一些复杂性。

据介绍,Bosque建立在结构化编程和抽象数据类型的成功基础之上,将现有的编程模型简化为一个规范化的形式,消除了主要的错误来源,简化了代码理解和修改,并将许多自动推理任务转换为细小的命题。
Bosque受TypeScript语法、类型,以及ML和Node / JavaScript语义的组合的启发,遵循MIT开源许可,你可以点此前往其GitHub页面进行详细了解。
相关文章
- 微软将推出Copilot超级应用,整合聊天、编程与智能体功能
- 英伟达与微软牵头成立开放AI安全联盟,OpenAI、谷歌及Anthropic均未加入
- 祝贺!领驭科技斩获FY26微软市场拓展先锋奖
- 微软拟在Copilot中用月之暗面Kimi K3替换OpenAI和Anthropic的模型,有望节省6亿美元
- 微软2025年的碳排放量增加了25%,可持续发展解决方案未能跟上人工智能需求的步伐
- 微软修复了Windows 11中一个占用大量存储空间的文件夹问题
- 微软裁员4800人,主要集中在Xbox部门及商业销售团队
- 2026 AI眼镜市场“奇点“已至,微软/苹果/微美全息领衔卡位剑指下一代入口争夺
- 微软将从7月13日起停用Mac版Office 2019
- 汉朔、微软、天虹数科聚首NRF 2026 APAC Big Idea核心论坛,开启未来智慧门店的精彩对话
- 微软推出Xbox二十五周年纪念版主机,采用半透明绿色设计
- 微软推出基于OpenClaw构建的新型AI个人助手Scout
- 微软发布首款AI推理模型MAI-Thinking-1
- NVIDIA 携手微软,在个人 AI 时代重塑 Windows PC
- 微软推出全新的Xbox Player Voice门户网站,让粉丝的反馈更加显而易见
- 微软将通过动态CPU调节技术提升Windows 11的性能
AI企业
更多>>AI硬件
更多>>AI产业
更多>>AI技术
更多>>- 全球最强开源模型 Kimi K3 发布,参数规模 3 万亿,真的是强!
- 范式变革!东软发布AI原生软件工程白皮书,重构软件产业底层逻辑
- KAT-Coder-Pro V2.5正式发布:从“写代码”迈向“做工程”,Agentic能力全面升级
- 自变量机器人王昊:训练世界模型需付出“时间税”,解决模态对齐是当务之急
- 腾讯发布CodeBuddy Security,用AI Agent实现更高效的代码审计
- Twinkle x昇腾,率先实现Deepseek-V4系列模型高效训练
- 高德发布鸿蒙首个生成式 UI 开源框架 AGenUI,告别传统 UI 开发模式
- 发布即适配| 天数智芯全力支持腾讯混元Hy3 preview 开源落地,共推国内大模型产业普惠









