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,并了解其在实际开发中的应用场景和最佳实践。
HunyuanImage-3.0
HunyuanImage-3.0 统一多模态理解与生成,基于自回归框架,实现文本生成图像,性能媲美或超越领先闭源模型00- DDeepSeek-V3.2-ExpDeepSeek-V3.2-Exp是DeepSeek推出的实验性模型,基于V3.1-Terminus架构,创新引入DeepSeek Sparse Attention稀疏注意力机制,在保持模型输出质量的同时,大幅提升长文本场景下的训练与推理效率。该模型在MMLU-Pro、GPQA-Diamond等多领域公开基准测试中表现与V3.1-Terminus相当,支持HuggingFace、SGLang、vLLM等多种本地运行方式,开源内核设计便于研究,采用MIT许可证。【此简介由AI生成】Python00
GitCode-文心大模型-智源研究院AI应用开发大赛
GitCode&文心大模型&智源研究院强强联合,发起的AI应用开发大赛;总奖池8W,单人最高可得价值3W奖励。快来参加吧~0360Hunyuan3D-Part
腾讯混元3D-Part00ops-transformer
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。C++086Hunyuan3D-Omni
腾讯混元3D-Omni:3D版ControlNet突破多模态控制,实现高精度3D资产生成00Spark-Chemistry-X1-13B
科大讯飞星火化学-X1-13B (iFLYTEK Spark Chemistry-X1-13B) 是一款专为化学领域优化的大语言模型。它由星火-X1 (Spark-X1) 基础模型微调而来,在化学知识问答、分子性质预测、化学名称转换和科学推理方面展现出强大的能力,同时保持了强大的通用语言理解与生成能力。Python00GOT-OCR-2.0-hf
阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00- HHowToCook程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).Dockerfile09
- PpathwayPathway is an open framework for high-throughput and low-latency real-time data processing.Python00
项目优选









