Kotlin Interactive Shell 使用教程
1. 项目介绍
Kotlin Interactive Shell(简称 ki)是一个基于 Kotlin 脚本和 REPL 基础设施的交互式 Shell。它允许用户在命令行中直接运行 Kotlin 代码,支持语法高亮、类型推断、运行时依赖下载等功能。ki 项目是从 Sparklin Shell 迁移而来,并被转换为一个通用的 Kotlin 语言交互式 Shell。
2. 项目快速启动
安装
使用 SDKMAN 安装
sdk install ki
安装完成后,可以通过以下命令启动 ki:
ki
使用 Homebrew 安装(macOS)
brew install ki
安装完成后,可以通过以下命令启动 ki:
ki
从源码构建
git clone https://github.com/Kotlin/kotlin-interactive-shell.git
cd kotlin-interactive-shell
mvn -DskipTests package
构建完成后,可以通过以下命令启动 ki:
bin/ki.sh # Linux/macOS
bin\ki.bat # Windows
基本使用
启动 ki 后,可以直接在命令行中输入 Kotlin 代码并执行。例如:
val x = 10
val y = 20
println(x + y)
输入 :q 或 :quit 可以退出 ki。
3. 应用案例和最佳实践
应用案例
快速原型开发
ki 可以用于快速原型开发,用户可以在命令行中直接编写和测试 Kotlin 代码,无需创建完整的项目。例如,可以快速测试某个函数的行为:
fun add(a: Int, b: Int): Int {
return a + b
}
println(add(5, 10))
依赖管理
ki 支持在运行时下载 Maven 依赖,用户可以通过 :dependsOn 命令添加第三方库:
:dependsOn "org.jetbrains.kotlinx:kotlinx-coroutines-core:1.5.2"
最佳实践
使用 paste 模式
当需要输入多行代码时,可以使用 paste 模式:
:paste
fun multiply(a: Int, b: Int): Int {
return a * b
}
println(multiply(5, 10))
查看类型信息
使用 :type 命令可以查看表达式的类型信息:
:type 1 + 2
4. 典型生态项目
Kotlin Scripting
Kotlin Scripting 是 Kotlin 的一个子项目,支持在脚本中使用 Kotlin 语言。ki 作为 Kotlin Scripting 的一部分,提供了强大的交互式 Shell 功能。
Kotlin REPL
Kotlin REPL 是 Kotlin 的交互式解释器,ki 是基于 Kotlin REPL 构建的,提供了更丰富的功能和更好的用户体验。
IntelliJ IDEA
IntelliJ IDEA 是 JetBrains 开发的集成开发环境,支持 Kotlin 语言。用户可以在 IntelliJ IDEA 中使用 Kotlin REPL 和 ki,进行代码的快速测试和调试。
通过以上内容,您可以快速上手 Kotlin Interactive Shell,并了解其在实际开发中的应用场景和最佳实践。
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00- QQwen3-Coder-Next2026年2月4日,正式发布的Qwen3-Coder-Next,一款专为编码智能体和本地开发场景设计的开源语言模型。Python00
xw-cli实现国产算力大模型零门槛部署,一键跑通 Qwen、GLM-4.7、Minimax-2.1、DeepSeek-OCR 等模型Go06
PaddleOCR-VL-1.5PaddleOCR-VL-1.5 是 PaddleOCR-VL 的新一代进阶模型,在 OmniDocBench v1.5 上实现了 94.5% 的全新 state-of-the-art 准确率。 为了严格评估模型在真实物理畸变下的鲁棒性——包括扫描伪影、倾斜、扭曲、屏幕拍摄和光照变化——我们提出了 Real5-OmniDocBench 基准测试集。实验结果表明,该增强模型在新构建的基准测试集上达到了 SOTA 性能。此外,我们通过整合印章识别和文本检测识别(text spotting)任务扩展了模型的能力,同时保持 0.9B 的超紧凑 VLM 规模,具备高效率特性。Python00
KuiklyUI基于KMP技术的高性能、全平台开发框架,具备统一代码库、极致易用性和动态灵活性。 Provide a high-performance, full-platform development framework with unified codebase, ultimate ease of use, and dynamic flexibility. 注意:本仓库为Github仓库镜像,PR或Issue请移步至Github发起,感谢支持!Kotlin08
VLOOKVLOOK™ 是优雅好用的 Typora/Markdown 主题包和增强插件。 VLOOK™ is an elegant and practical THEME PACKAGE × ENHANCEMENT PLUGIN for Typora/Markdown.Less00