Skip to main content

· 阅读需要 1 分钟

KCL 是一个 CNCF 基金会托管的基于约束的记录及函数语言,期望通过成熟的编程语言技术和实践来改进对大量繁杂配置比如云原生 Kubernetes 配置场景的编写,致力于构建围绕配置的更好的模块化、扩展性和稳定性,更简单的逻辑编写,以及更简单的自动化和生态工具集成。

本栏目将会双周更新 KCL 语言社区最新动态,包括功能、官网更新和最新的社区动态等,帮助大家更好地了解 KCL 社区!

KCL 官网:https://kcl-lang.io

内容概述

感谢所有贡献者过去一段时间 (2024.03.06 - 2024.03.20) 的杰出工作,以下是重点内容概述

📦 模型更新

  • 新增 kubeadm 配置模型
  • 更新 Knative Operator 模型,对齐上游 Knative CRD 定义

🏄 语言更新

KCL 发布 0.8.1 和 0.8.2 版本,主要包含如下更新

  • 体验简化增强二元表达式类型不匹配时的错误信息提示
  • 修复高阶 lambda 函数对局部作用域闭包变量捕获不正常的错误
  • 去除不常用的列表数据类型的不等式比较操作

🔧 工具链更新

  • kcl import 工具修复当输入的 Kubernetes CRD 存在 regex 属性与 KCL regex 系统库冲突的错误
  • kcl import 工具修复当输入的 Kubernetes CRD 属性存在复杂的默认值时输出的 KCL 文件语法错误
  • kcl mod init 支持 --version 标签设置 KCL 新建模块的版本
  • kcl run, kcl mod addkcl mod pull 等命令支持对私有 Git 仓库的访问
  • 修复在 Windows 上执行对本地 OCI Registry 执行 kcl run 命令时遇到的路径错误

🔥 SDK 更新

  • KCL Rust, Go 和 Java SDK 发布 0.8 主要版本,同步 KCL 语法语义更新
  • KCL Python SDK 发布 0.8.0.2 和 0.7.6 版本,修复 protobuf, pyyaml 等依赖版本过于低的问题

💻 IDE 更新

  • 支持多个 Quick Fix 修复选项

multiple-quick-fix

🎁 API 更新

  • 新增 ListOptions API,可以读取 KCL 工程中所有 option 函数调用信息。

🚢 集成更新

  • Crossplane KCL Function 发布 v0.3.2 版本,支持非 https 协议 OCI Registry 访问和本地调试

🌐 网站更新

  • 启用 kcl-lang.dev 域名,现在可以同时通过 kcl-lang.iokcl-lang.dev 访问 KCL 网站
  • KCL 网站加载速度优化,提升文档体验

特别鸣谢

感谢过去两周所有的社区参与者,以下排名不分先后

  • 感谢 @bozaro 对 KCL Go SDK 带 Go 语言插件的 API 的贡献 🙌
  • 感谢 @shashank-iitbhu 对 KCL IDE 快速修复功能的增强,支持多个修复选项 🙌
  • 感谢 @octonawish-akcodes 对 KCL IDE 自动监听 kcl.mod 依赖变更并自动更新依赖功能的持续贡献 🙌
  • 感谢 @liangyuanpeng 对 CLA Bot CI 自动锁定 PR 的修正,kubeadm 模型的贡献以及 kcl mod init 支持版本设置功能的支持 🙌
  • 感谢 @Stefano Borrelli, @sfshumaker, @eshepelyuk, @vtomilov, @ricochet1k, @yjsnly, @markphillips100, @userxiaosi, @wilsonwang371, @steeling, @bozaro, @nizq, @reckless-huang, @folliehiyuki, @samuel-deal-tisseo, @MrGuoRanDuo, 和 @MattHodge 等在近段时间使用 KCL 过程中提供的宝贵建议与反馈 🙌

其他资源

❤️ 查看 KCL 社区 加入我们。

更多其他资源请参考:

· 阅读需要 1 分钟

简介

KCL 团队很高兴地宣布 KCL v0.8.0 新版本现在已经可用!本次发布为大家带来了三方面的重点更新:语言工具链社区集成 & 扩展支持

  • 使用功能更完善错误更少的 KCL 语言、工具链和 IDE 提升代码编写体验和效率
  • 更加全面丰富的社区生态集成,改善运维体验
  • 更加丰富的 KCL 三方库模型,更加轻松的与云原生生态集成

进一步您可以在 KCL v0.8.0 发布页面 或者 KCL 官方网站 获得下载安装指南和详细发布信息。

KCL 是一个 CNCF 基金会托管的面向云原生领域开源的基于约束的记录及函数编程语言,期望通过成熟的编程语言技术和实践来改进对大量繁杂配置比如云原生 Kubernetes 配置场景的编写,致力于围绕配置的模块化、扩展性和稳定性,打造更简单的逻辑编写体验,构建更简单的自动化和生态集成路径。

语言更新

🚗 语法语义更新

支持 show-hidden

通过 --show-hidden 参数显示私有变量。

KCL 程序如下

a = {_b = 1}

通过命令 kcl run main.k --show-hidden 编译结果如下

a:
_b: 1

支持参数和关键字参数的合并

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])

对应编译结果

1
---
2

修复了在循环表达式中的类型检查错误

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__ 属性。

a:
name: a

支持在 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 中添加如下内容:

Hello World !

编译结果

a: Hello World !

通过结合 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

编译结果如下所示:

name: John
age: 10

更多内容 - 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 语法高亮,如下图所示:

old-ide

我们今年逐步启用了新的 KCL 语义架构模型,在新语义架构的支撑下,KCL IDE 支持语义级别的高亮,在语义上有关联的代码会显示相同的高亮。

new-ide

更多关于 KCL 语义架构模型的内容,参考: KCL 高效语义模型技术揭秘:实现快速编译与增强 IDE 支持

新增 builtin 方法的补全

KCL IDE 支持 builtin 方法的补全,如下图所示:

builtin-completion

增加变量引用错误时的快速修复功能

KCL IDE 支持变量引用错误时的快速修复功能,如下图所示:

quick-fix

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 run <git url>

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 引用:

import 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
# 需要持续集成的 github 仓库
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 或讨论,也欢迎加入我们的社区进行交流 🙌 🙌 🙌

更多其他资源请参考: