KittyCAD建模应用v0.56.0版本发布:KCL语言重大更新与建模功能增强
项目概述
KittyCAD是一款面向现代CAD设计领域的开源建模应用,采用创新的KCL(KittyCAD Language)脚本语言作为核心建模工具。该项目通过代码驱动的方式实现参数化设计,同时提供直观的图形界面操作,为工程师和设计师提供了灵活高效的三维建模解决方案。
核心更新解析
KCL语言重大变更
本次版本对KCL语言进行了多项重要调整,这些变更标志着语言正在向更规范、更专业的方向发展:
-
函数参数标准化:多个内置函数如
startProfileAt、hollow等已统一改为使用关键字参数,这显著提高了代码可读性和维护性。例如,原先可能直接传递多个位置参数的调用方式,现在需要显式声明参数名称。 -
模块化重构:将常用功能进行了更合理的模块划分:
offsetPlane函数移至std标准库模块- 三角函数如
sin、cos等归入专门的math数学模块 - 平面定义从字符串形式(如
"XY")改为直接使用字面量(如XY)
-
语法严格化:
- 彻底移除了记录(record)定义中已弃用的
:语法,强制使用=符号 - 禁止了使用字符串索引访问KCL对象属性的做法
- 移除了
angleToMatchLengthX/Y等过时函数
- 彻底移除了记录(record)定义中已弃用的
这些变更虽然带来了短期适配成本,但为KCL语言的长期稳定性和表达能力奠定了更好基础。
建模功能增强
-
新增核心建模操作:
- 克隆功能:支持通过工具栏或KCL代码快速复制几何体
- 布尔运算:Union(并集)、Subtract(差集)和Intersect(交集)操作现在可通过图形界面直接执行
- 倒角处理:新增了图形化的圆角/倒角创建工具
-
装配体操作改进:
- 平移、旋转等装配体变换操作增加了图形界面支持
- 改进了插入操作的工作流程
-
草图工具优化:
- 三点圆弧工具取代切线圆弧成为默认圆弧绘制方式
- 增强了圆和三点圆弧的段覆盖显示
- 新增键盘删除线段功能
开发体验提升
-
编辑器增强:
- 符号重命名功能(F2键)
- KCL错误提示增加自动修复建议
- 变量定义现在可以作为模块的返回值
-
性能优化:
- 实现了非KCL导入的并行处理
- 改进了大型项目的响应速度
-
多窗口支持:
- 新增"在新窗口打开"功能,支持并排编辑
- 导入变更时自动重新执行相关代码
用户体验改进
-
可视化控制:
- 增加了默认平面可见性的切换控制
- 改进了导入几何体的外观设置能力
-
工作流程优化:
- 主页新增"文本转CAD"和"打开KCL示例"快速入口
- 修复了功能树中整模块导入删除的问题
- 解决了桌面版应用的登出功能
技术影响分析
这次更新体现了KittyCAD项目的几个重要技术方向:
-
语言专业化:KCL正在从实验性语言向专业CAD脚本语言演进,类型系统和模块化设计更加严谨。
-
双模工作流:既强化了代码驱动的精确控制能力,又完善了图形界面的直观操作,满足不同用户群体的需求。
-
现代IDE特性:引入符号重命名、自动修复等现代开发工具特性,显著提升生产力。
-
性能优先:通过并行化处理等技术持续优化大型项目的响应能力。
升级建议
对于现有用户,升级时需特别注意:
- 检查并更新使用了变更函数的KCL脚本
- 平面定义需要从字符串改为字面量
- 三角函数调用需要添加
math::前缀 - 记录定义统一使用
=语法
这些变更虽然需要一定的适应成本,但将带来更稳定、更可维护的代码基础。项目团队提供了详细的变更说明和示例,建议用户参考这些资源进行迁移。
KittyCAD v0.56.0版本标志着该项目向正式版又迈进了重要一步,通过这次更新,无论是核心语言能力还是用户体验都得到了显著提升,为即将到来的V1版本奠定了坚实基础。
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
请把这个活动推给顶尖程序员😎本次活动专为懂行的顶尖程序员量身打造,聚焦AtomGit首发开源模型的实际应用与深度测评,拒绝大众化浅层体验,邀请具备扎实技术功底、开源经验或模型测评能力的顶尖开发者,深度参与模型体验、性能测评,通过发布技术帖子、提交测评报告、上传实践项目成果等形式,挖掘模型核心价值,共建AtomGit开源模型生态,彰显顶尖程序员的技术洞察力与实践能力。00
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
MiniMax-M2.5MiniMax-M2.5开源模型,经数十万复杂环境强化训练,在代码生成、工具调用、办公自动化等经济价值任务中表现卓越。SWE-Bench Verified得分80.2%,Multi-SWE-Bench达51.3%,BrowseComp获76.3%。推理速度比M2.1快37%,与Claude Opus 4.6相当,每小时仅需0.3-1美元,成本仅为同类模型1/10-1/20,为智能应用开发提供高效经济选择。【此简介由AI生成】Python00
Qwen3.5Qwen3.5 昇腾 vLLM 部署教程。Qwen3.5 是 Qwen 系列最新的旗舰多模态模型,采用 MoE(混合专家)架构,在保持强大模型能力的同时显著降低了推理成本。00- RRing-2.5-1TRing-2.5-1T:全球首个基于混合线性注意力架构的开源万亿参数思考模型。Python00