Mill构建工具0.12.10版本发布:Kotlin支持增强与多项改进
2025-06-19 10:04:03作者:凌朦慧Richard
Mill是一个现代化的Scala/Java构建工具,以其简洁的DSL、高效的增量编译和良好的可扩展性著称。作为SBT的轻量级替代方案,Mill特别适合中小型项目,提供了更快的构建速度和更直观的配置方式。
核心改进
1. Kotlin支持全面增强
本次更新显著提升了Kotlin语言的支持能力:
- Kotlin编译器插件支持:现在可以像Scala一样方便地配置Kotlin编译器插件,为Kotlin项目开发提供了更多可能性
- BuildInfo模块支持Kotlin:原先仅支持Scala的BuildInfo模块现在也支持Kotlin,可以自动生成包含构建信息的Kotlin源文件
- 主类发现机制修复:修复了Kotlin模块中主类发现的bug,确保Kotlin应用能正确识别入口类
2. 构建信息与依赖管理优化
- 项目模块依赖声明:新增
Dep.millProjectModule方法,允许直接引用Mill项目中的其他模块作为依赖 - 依赖解析策略改进:优先使用
defaultResolver().classpath而非Lib.resolveDependencies,提高了依赖解析的可靠性 - 构建信息生成:BuildInfo模块现在支持生成Kotlin代码,为Kotlin项目提供构建时信息注入能力
3. 测试与运行体验提升
- 测试运行指示器:改进了测试运行时的进度显示,增加了失败任务计数,使构建过程更加透明
- uTest多测试类支持:修复了uTest框架在多测试类场景下的任务创建问题
- 主类发现机制:采用ClassGraph库改进主类发现,支持更复杂的类加载场景
4. 性能与稳定性改进
- 原生镜像处理:为本地缓存中的原生镜像添加
-native后缀,避免冲突 - Web应用关闭:将WebApp的关闭超时设置为零,提高关闭响应速度
- 错误处理:改进了错误消息的清晰度,减少用户困惑
- 数组越界防护:修复了潜在的ArrayIndexOutOfBoundsException问题
技术细节解析
主类发现机制改进
新版本采用ClassGraph库替代原有的反射机制来发现主类。ClassGraph能够处理更复杂的类加载场景,特别是:
- 支持模块化系统(JPMS)
- 更好的处理jar文件中的类
- 更快的扫描速度
- 支持注解过滤
这对于包含大量依赖或复杂类加载结构的项目特别有利。
Kotlin编译器插件集成
新增的Kotlin编译器插件支持采用了与Scala插件类似的配置方式:
kotlinCompilerPluginClasspath += ivy"org.jetbrains.kotlin:kotlin-allopen:1.9.0"
这种一致性设计降低了用户的学习成本,使Scala开发者能快速上手Kotlin项目配置。
升级建议
对于现有项目,建议在测试环境中先行验证以下场景:
- Kotlin项目的主类发现是否正常
- 使用了编译器插件的Kotlin项目是否按预期工作
- 多模块项目的依赖解析是否正确
- 测试任务特别是uTest的配置是否需要调整
对于新项目,可以直接采用0.12.10版本享受完整的Kotlin支持和改进后的构建体验。
Mill 0.12.10版本通过增强Kotlin支持和改进核心功能,进一步巩固了其作为现代化构建工具的地位。特别是对Kotlin生态的深度集成,使其成为JVM多语言项目的理想构建选择。
登录后查看全文
热门项目推荐
相关项目推荐
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
24
9
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
405
3.14 K
Ascend Extension for PyTorch
Python
226
251
暂无简介
Dart
672
159
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
663
319
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.21 K
657
React Native鸿蒙化仓库
JavaScript
262
325
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
9
1
openGauss kernel ~ openGauss is an open source relational database management system
C++
160
220
仓颉编译器源码及 cjdb 调试工具。
C++
135
868