KCL 团队很高兴地宣布 KCL v0.8.0 新版本现在已经可用！本次发布为大家带来了三方面的重点更新：语言、工具链、社区集成 & 扩展支持。
- 使用功能更完善错误更少的 KCL 语言、工具链和 IDE 提升代码编写体验和效率
- 更加全面丰富的社区生态集成，改善运维体验
- 更加丰富的 KCL 三方库模型，更加轻松的与云原生生态集成
进一步您可以在 KCL v0.8.0 发布页面 或者 KCL 官方网站 获得下载安装指南和详细发布信息。
KCL 是一个 CNCF 基金会托管的面向云原生领域开源的基于约束的记录及函数编程语言，期望通过成熟的编程语言技术和实践来改进对大量繁杂配置比如云原生 Kubernetes 配置场景的编写，致力于围绕配置的模块化、扩展性和稳定性，打造更简单的逻辑编写体验，构建更简单的自动化和生态集成路径。
语言更新
🚗 语法语义更新
支持 show-hidden
通过 --show-hidden 参数显示私有变量。
KCL 程序如下
通过命令 kcl run main.k --show-hidden 编译结果如下
支持参数和关键字参数的合并
KCL v0.8.0 版本中新增了参数和关键字参数的合并功能。带参数的 schema 实例在合并操作时参数也会合并。
schema Person[separator]:
firstName: str = "John"
lastName: str
fullName: str = firstName + separator + lastName
x = Person(" ") {lastName = "Doe"}
y = Person("-") {lastName = "Doe1"}
z = x | y
对应编译结果
x:
firstName: John
lastName: Doe
fullName: John Doe
y:
firstName: John
lastName: Doe1
fullName: John-Doe1
z:
firstName: John
lastName: Doe1
fullName: John-Doe1
支持字面值的 yaml stream 格式输出.
通过 yaml_stream 方法，可以支持输出 yaml 字面值的结果。
import manifests
x0 = 1
x1 = 2
manifests.yaml_stream([x0, x1])
对应编译结果
修复了在循环表达式中的类型检查错误
name = "volume"
configMapVolumes1: {str:{str:}} = {
name = {
name = name
} for _ in range(1)
}
configMapVolumes2: [{str:}] = [
{
name = name
} for _ in range(1)
]
在 v0.8.0 之前，上述程序编译会出现类型错误。
error[E2G22]: TypeError
--> main.k:4:9
|
4 | name = name
| ^ expected {str:any}, got str
|
--> main.k:2:1
|
2 | configMapVolumes1: {str:{str:}} = {
| ^ variable is defined here, its type is {str:any}, but got str
|
在 v0.8.0 版本中, 将会成功编译出如下结果：
name: volume
configMapVolumes1:
volume:
name: volume
修复了 Schema 对象必选属性递归检查错误
在 Schema 内部定义了一个对象，对象内部的属性是必选的，但是在实例化时使用不存在的属性。
schema Name:
name: str
schema Config:
n: {str:Name}
Config {
n = {
n.n = "n"
}
}
在 v0.8.0 之后，上述程序编译会出现类型错误。
error[E2L23]: CompileError
--> main.k:9:11
|
9 | n.n = "n"
| ^ Cannot add member 'n' to schema 'Name'
|
在编译输出结果中去掉 __settings__ 属性
在 v0.8.0 版本中，编译输出结果中去掉了 __settings__ 属性。
schema Person:
__settings__: {str:str} = {"output_type": "STANDALONE"}
name?: str
age?: int
school?: str
a = Person{
name: "a",
}
在编译结果中去掉了 __settings__ 属性。
支持在 config 表达式中计算 key 和 value 的值
在 v0.8.0 版本中，支持在 config 表达式中计算 key 和 value 的值。
_data = {
"a": 'foo'
"b": 'bar'
}
r0 = [{v = k} for k, v in _data]
r1 = [{k = v} for k, v in _data]
r2 = [{k.foo = v} for k, v in _data]
r3 = [[k] for k, v in _data]
r4 = [[k, v] for k, v in _data]
编译结果如下：
r0:
- foo: a
- bar: b
r1:
- a: foo
- b: bar
r2:
- a:
foo: foo
- b:
foo: bar
r3:
- - a
- - b
r4:
- - a
- foo
- - b
- bar
🔧 诊断信息的优化
KCL 语法在 if 块中使用的是 elif 关键字，而不是 else if。
编译以下 KCL 程序：
if True: a = 1
else if False: b = 1
KCL 在诊断信息中增加了错误修正的建议：
error[E1001]: InvalidSyntax
--> main.k:2:6
|
2 | else if False: b = 1
| ^ 'else if' here is invalid in KCL, consider using the 'elif' keyword
|
🚀 语言编写体验优化
KCL 标准库新增文件系统访问方法
KCL 增加了访问文件系统的方法。在 v0.8.0 版本中支持了包括 read, glob 等访问文件系统的方法。
通过 read 方法，可以读取一个文件内容为字符串。
import file
a = file.read("hello.txt")
在文件 hello.txt 中添加如下内容：
编译结果
通过结合 json.decode 方法，可以轻松的实现将 json 文件反序列化。
在 hello.json 文件中增加如下内容
{
"name": "John",
"age": 10
}
KCL 程序如下所示：
import file
import json
_a = json.decode(file.read("hello.json"))
name = _a.name
age = _a.age
编译结果如下所示：
更多内容 - https://kcl-lang.io/zh-CN/docs/reference/model/file/
KCL 编译缓存路径支持使用环境变量 KCL_CACHE_PATH 指定
KCL 编译器会将缓存生成到环境变量KCL_CACHE_PATH指定的目录当中，如果没指定，将会生成到项目根目录中。
插件系统支持使用 golang 编写 KCL 插件
使用 golang 定义 hello 插件。
package hello_plugin
import (
"kcl-lang.io/kcl-go/pkg/plugin"
)
func init() {
plugin.RegisterPlugin(plugin.Plugin{
Name: "hello",
MethodMap: map[string]plugin.MethodSpec{
"add": {
Body: func(args *plugin.MethodArgs) (*plugin.MethodResult, error) {
v := args.IntArg(0) + args.IntArg(1)
return &plugin.MethodResult{V: v}, nil
},
},
},
})
}
借助 kcl-go 开发，扩展 KCL 编译器使用插件。
package main
import (
"fmt"
"kcl-lang.io/kcl-go/pkg/kcl"
"kcl-lang.io/kcl-go/pkg/native" // Import the native API
_ "kcl-lang.io/kcl-go/pkg/plugin/hello_plugin" // Import the hello plugin
)
func main() {
// Note we use `native.MustRun` here instead of `kcl.MustRun`, because it needs the cgo feature.
yaml := native.MustRun("main.k", kcl.WithCode(code)).GetRawYamlResult()
fmt.Println(yaml)
}
const code = `
import kcl_plugin.hello
name = "kcl"
three = hello.add(1,2) # 3
😸 新增 Linux arm64 版本
KCL 的 Release 产物中新增了对 Linux arm64 平台的支持。
可以在 KCL Release Page 中找到后缀为 linux-arm64 的压缩包。
🏄 SDK & API 更新
Rust SDK
KCL Rust SDK 提供了一系列的 API，可以用于 KCL 文件的编译、校验、测试和格式化代码等操作。
KCL Rust SDK: https://github.com/kcl-lang/lib
Java SDK
KCL Java SDK 新增语法树、作用域、符号等语法语义结构定义及相关查询 API。
Go SDK 更新
- KCL Doc 工具支持输出为 OpenAPI 格式。
- 增加 Parse 过程相关 API。
API 更新
- 新增 json/yaml 验证 API 用来验证 json 和 yaml 文件。
- 新增语法和语义分析 API 用于对 KCL 代码进行分析。
- 新增构建二进制产物 API 用于缓存编译结果。
- 新增运行二进制产物 API 用于直接运行编译结果，避免重复编译并提升性能。
- 新增代码生成 API 以编程方式实现 KCL 代码生成而不是编写复杂的模版。
更多的更新可以查看 KCL v0.8 API 文档
🐞 其他更新及错误修复
- 修复了 KCL CLI 使用编译参数 -S 可能会导致的编译错误
- 修复了 kcl fmt 工具对 lambda 表达式进行格式化时，结尾增加一个空行的错误。
- 修复 Schema Doc 补全代码片段错误
- 修复 Schema 对象必选属性递归检查错误
- 提升 Schema 索引签名类型检查健壮性
- 修复 Schema 内部诸如 "$if" 的字符串标识符定义找不到的错误
- 优化非预期 token 的语法错误提示
- 修复非预期的字典生成表达式中的 key 与循环变量相同时的变量计算
IDE & 工具链更新
IDE 更新
IDE 语义级别的高亮增强
KCL IDE 高亮之前仅支持 KCL 语法高亮，如下图所示：
我们今年逐步启用了新的 KCL 语义架构模型，在新语义架构的支撑下，KCL IDE 支持语义级别的高亮，在语义上有关联的代码会显示相同的高亮。
更多关于 KCL 语义架构模型的内容，参考：
KCL 高效语义模型技术揭秘：实现快速编译与增强 IDE 支持
新增 builtin 方法的补全
KCL IDE 支持 builtin 方法的补全，如下图所示：
增加变量引用错误时的快速修复功能
KCL IDE 支持变量引用错误时的快速修复功能，如下图所示：
IDE 支持增量解析和异步编译功能
IDE 通过 KCL 新语义模型支持增量解析和异步编译功能，提升了编译速度和编写体验。
更多内容详见 https://kcl-lang.io/zh-CN/blog/2023-12-09-kcl-new-semantic-model
IDE LSP 问题修复
- 修复 assert 语句中字符串插值变量不能跳转的异常
- 修复了字符串中异常触发函数补全的异常
- 修复了字符串后跟注释中补全错误的问题
- 修复了 schema 内部属性符号不能跳转的问题
- 修复 import 语句别名语义检查和补全的异常
- 修复了 schema 中 check 表达式补全的异常
- 修复了嵌套 schema 定义中补全错误的问题
- 修复了部分悬停信息缺失的问题
- 修复不同语法补全符号类型不统一的问题
- 区分 Schema 类型和实例补全符号
- 统一 Schema 注释文档补全的格式
- 修复了配置块内部 if 语句符号不能跳转和补全的问题
验证工具更新
本次更新中，我们对 KCL 验证工具的报错信息进行了优化，在使用 KCL 验证工具对 json/yaml 文件进行验证的工作中，将会准确定位到 json 文件的异常位置。
以 json 文件为例，我们将要对以下 hello.json 文件进行验证
{
"name": 10,
"age": 18,
"message": "This is Alice"
}
定义如下 main.k 文件来对 json 文件中的内容进行验证
schema User:
name: str
age: int
message?: str
通过以下命令对 json 文件内容进行验证
kcl vet hello.json main.k
可以看到在 json 文件中的错误位置：
error[E2G22]: TypeError
--> test.json:2:5
|
2 | "name": 10,
| ^ expected str, got int(10)
|
--> main.k:2:5
|
2 | name: str
| ^ variable is defined here, its type is str, but got int(10)
|
KCL cli 新增 git 仓库作为编译入口
通过以下命令，可以将 KCL 的 git 仓库作为编译入口
kcl mod graph 支持输出 KCL 包依赖图
通过命令 kcl mod graph 输出 KCL 包的依赖图。
KCL 包管理工具
KCL 包管理支持通过 commit 添加 git 依赖
KCL 包管理工具增加了通过 commit 来添加 git 三方库依赖的功能。以 https://github.com/KusionStack/catalog 为例，添加 commit 为 a29e3db 的版本作为依赖。可以通过编辑 kcl.mod 文件中的依赖或者命令行直接添加。
编辑 kcl.mod 文件内容如下：
[dependencies]
catalog = { git = "https://github.com/KusionStack/catalog.git", commit = "a29e3db" }
或者通过命令行添加：
kcl mod add --git https://github.com/KusionStack/catalog.git --commit a29e3db
KCL 包管理工具支持三方库名称带有“-”
KCL 包管理工具支持三方库名称中带有“-”，KCL 包管理工具会自动将 “-” 替换为 “_”。
以三方库 set-annotation 为例，通过以下命令添加 set-annotation 为依赖：
kcl mod add set-annotation
在 KCL 程序中，通过 set_annotation 引用：
KCL 导入工具更新，支持更多特性
- 支持 OpenAPI multiplyOf 规范映射到 KCL multiplyof 函数进行校验
- 支持 YAML Stream 格式的 Kubernetes CRD 文件输出为多个 KCL 文件
- 支持 OpenAPI allOf 关键字校验表达式生成
- 支持 KCL 数组和字典类型的 all/any 校验表达式生成
社区集成 & 扩展更新
Flux KCL Controller 发布
我们开发了 Flux KCL Controller 支持 KCL 与 Flux 集成。在集群中安装 Flux KCL Controller 后，通过以下资源就可以实现 KCL git 仓库通过 FluxCD 进行持续集成。
apiVersion: source.toolkit.fluxcd.io/v1
kind: GitRepository
metadata:
name: kcl-deployment
namespace: source-system
spec:
interval: 30s
url: https://github.com/awesome-kusion/kcl-deployment.git
ref:
branch: main
---
apiVersion: krm.kcl.dev.fluxcd/v1alpha1
kind: KCLRun
metadata:
name: kcl-deployment
namespace: source-system
spec:
sourceRef:
kind: GitRepository
name: kcl-deployment
更多内容详见: https://kcl-lang.io/zh-CN/blog/2024-02-01-biweekly-newsletter/
CodeQL KCL 工具
初步支持 CodeQL KCL dbschema 定义以及对 KCL 语法语义进行数据提取，并可通过 CodeQL 进行数据查询对 KCL 代码进行静态分析和扫描，提升代码安全。
更多内容详见: https://github.com/kcl-lang/codeql-kcl
模型更新
KCL 模型数量新增至 303 个，主要新增与 Crossplane Provider 相关的模型和与 JSON 合并操作相关的库
kcl run oci://ghcr.io/kcl-lang/podinfo -D replicas=2
- JSON Schema 库发布 0.0.4 版本，修复类型定义错误, 可以执行如下命令更新或添加依赖
kcl mod add jsonschema:0.0.4
其他更新
完整更新和错误修复列表详见: https://github.com/kcl-lang/kcl/compare/v0.7.0...v0.8.0
文档更新
KCL 网站新增 KCL v0.7.0 文档内容并支持版本化语义选项，目前支持 v0.4.x, v0.5.x, v0.6.x, v0.7.0 和 v0.8.0 版本选择，同时欢迎社区同学进行文档共建。
社区动态
KCL LFX 项目启动
恭喜 @AkashKumar7902, @octonawish-akcodes, @shashank-iitbhu 入选 CNCF KCL LFX 项目，同时感谢 @Vanshikav123, @Amit Pandey 的积极参与。
KCL 登陆 Crossplane 官方函数市场
自 Crossplane v1.14 中的组合函数 Beta 版发布以来，使用 Crossplane 构建云原生平台的可能体验范围一直在迅速扩大。KCL 团队在第一时间进行跟进并主动构建了一个可重用的函数，整个 Crossplane 生态系统现在可以利用 KCL 提供的高水平经验和能力来构建自己的云原生平台。
更多内容详见: https://blog.crossplane.io/function-kcl/
特别鸣谢
感谢社区的小伙伴在 KCL v0.8.0 版本中的贡献，以下排名不分先后
- 感谢 @jakezhu9 同学对 kcl import 工具的持续贡献 🤝
- 感谢 @octonawish-akcodes 对 KCL 代码清理和 FAQ 文档的持续贡献 🙌
- 感谢 @satyazzz123 对 KRM KCL 支持读取环境变量功能的贡献 🙌
- 感谢 @AkashKumar7902 对 KCL 包管理工具功能的贡献 🙌
- 感谢 @UtkarshUmre 对 KCL linux-arm64 构建 CI 的贡献 🙌
- 感谢 @octonawish-akcodes 和 @d4v1d03 对 KCL FAQ 文档和 KCL IDE 功能的持续贡献 🙌
- 感谢 @octonawish-akcodes 对 Ansible KCL Module 的贡献
- 感谢 @AkashKumar7902 和 @Vanshikav123 对 KCL 包管理工具功能的贡献 🙌
- 感谢 @StevenLeiZhang 对 KCL 文档和 KCL 插件的贡献 🙌
- 感谢 @patrycju, @Callum Lyall, @Matt Gowie, @ShiroDN, @FLAGLORD, @YiuTerran, @flyinox, @steeling, @Anoop, @Even Solberg，@Phillip Neumann，@Naxe, @rozaliev, @CloudZero357, @martingreber, @az, @Art3mK, @Erick, @TheChinBot, @Evgeny Shepelyuk, @yonas, @vtomilov, @Fdall, @bozaro, @starkers, 和 @MrGuoRanDuo 等在 KCL v0.8 版本迭代过程中使用 KCL 提供的宝贵建议与反馈 🙌
下一步计划
感谢所有 KCL 用户和社区小伙伴在此次版本更新过程中提出的宝贵反馈与建议。预计 2024 年 5 月，我们将发布 KCL v0.9.0 版本，更多详情请参考 KCL 2024 路线规划 和 KCL v0.9.0 Milestone，如果您有更多的想法和需求，欢迎在 KCL Github 仓库发起 Issues 或讨论，也欢迎加入我们的社区进行交流 🙌 🙌 🙌
更多其他资源请参考：
