KCL v0.7.0 重磅发布 - 面向云原生场景更完善的生态模型、语言和工具链


简介​

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

  • 使用功能更完善错误更少的 KCL 语言、工具链和 IDE 提升代码编写体验和效率
  • 全新的 KCL 命令行工具,集成 KCL 包管理,doc, test 周边工具链生态,包罗万象,一键直达
  • 丰富的 KCL 三方库市场 artifacthub.io, 提供了超过 200 种 KCL 三方库,尽情挑选,无限可能

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

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

本文重点介绍 KCL v0.7.0 版本的更新内容以及 KCL 社区的近期动态。

语言更新​

⭐️ 全新的 KCL 命令行工具​

在新版本中提供了全新的 KCL 命令行工具, 目标是将 KCL 周边生态囊括在一起,为您提供统一简明的操作页面,包罗万象,一键直达。

新的 KCL 命令行工具将会以继续 kcl 作为命令前缀,目前提供包含编译,包管理,格式化工具等多个子命令。

cli-help

🔧 诊断信息的优化​

在 KCL 新版本中,在部分代码错误信息中增加了修复建议,比如变量名称写错或者查找不到 import 的代码包

import sub as s1

The_first_kcl_program = s.The_first_kcl_program
 

did you mean

try-kcl-mod-add

🚀 语言编写体验优化​

去掉了部分代码块中的缩进检查​

在 KCL 新版本中,我们取消了配置代码块的严格缩进检查,如果 KCL 代码写成这样

schema TestIndent:
name: str
msg: str
id: int

test_indent = TestIndent {
name = "test"
msg = "test"
id = 1
}
 

使用 kcl fmt 命令会可以一键格式化

kcl-fmt

函数类型注解​

在 KCL 新版本中,新增了函数类型注解,您可以在新版本的 KCL 中编写如下带有类型注解的 lambda。

schema Test:
name: str

identity: (Test) -> bool = lambda res: Test -> bool {
res.name == "hello"
}

c = identity(Test { name = "hello" })
 

🏄 API 更新​

  • 新增 KCL 单元测试 API: https://github.com/kcl-lang/kcl/pull/904
  • KCL Schema 模型解析 API 增强版 GetFullSchemaType支持获取带有三方库的 KCL 包相关信息和 Schema 属性默认值 https://github.com/kcl-lang/kcl/pull/906
  • 新增 KCL 符号重命名 API: https://github.com/kcl-lang/kcl/pull/890

🐞 其他更新及错误修复​

  • KCL 命令行工具支持输入文件通配符进行编译 kcl path/to/*.k
  • 修复部分场景字典类型的类型推导错误 https://github.com/kcl-lang/kcl/pull/900
  • 修复 Schema 参数的检查 https://github.com/kcl-lang/kcl/pull/877/files
  • 修复了带有三方库的KCL程序编译缓存失效的问题 https://github.com/kcl-lang/kcl/pull/841
  • 错误信息中补全缺失的 lambda 的类型信息 https://github.com/kcl-lang/kcl/pull/771
  • 修复了诊断信息中单数和复数的问题 https://github.com/kcl-lang/kcl/pull/769
  • 修复了带有类型注解赋值语句中类型检查失效的问题 https://github.com/kcl-lang/kcl/pull/757
  • 增加了检查,禁止同名的 import 语句 https://github.com/kcl-lang/kcl/pull/727

IDE & 工具链更新​

IDE 更新​

KCL IDE 插件支持了对符号的引用跳转及重命名功能​

IDE 增加了对符号的引用跳转支持,使用转到引用查找所有引用

find-ref

对符号进行重命名

rename

IDE 支持对引用语句和联合类型的格式化​

优化了引用语句与其他代码块之间的空行行为(格式化为一个空行)和联合类型的空格行为(多个类型之间格式化为以 | 间隔):

fmt

KCL IDE 插件基于新增了大量补全提示​

针对配置定义这一核心环节,简化用户基于模型编写配置的心智、提升配置编辑的效率。此外,增强了调用内置函数时参数补全。talk is cheap,我们直接来看效果:

func-completion

conf-completion

而对于模型设计环节,也新增了对 docstring 的快速生成,减少手敲 boilerplate:

gen-docstring

性能提升​

  • KCL 设计并重构了新的语义模型以及支持最近符号查找和符号语义信息查询 API
  • IDE 补全,跳转和悬停等功能实现迁移至新语义模型,显著降低 IDE 功能开发难度和代码量
  • KCL 编译器支持语法增量解析以及语义增量检查,大部分场景提升 KCL 编译构建和 IDE 插件使用性能 5-10 倍

其他更新和错误修复​

  • KCL IntelliJ 插件适配 2023.2+ 版本
  • 支持对标准库和内置函数的悬停提示,支持对 KCL 代码错误的快速修复
  • 优化了对引用语句和 union 类型的格式化输出。
  • 修复了语言服务虚拟文件系统相关的bug:文件维度的变更引发会语言服务崩溃,必须重启 IDE 恢复,现已修复。
  • 支持包管理工具引入的外部包依赖 import 语句补全
  • 修复函数参数未定义类型错误显示位置

测试工具更新​

担心您的 KCL 程序写错了,要不来测测 ?本次更新提供了全新的 KCL 测试工具,代码好坏,一测便知 !新的 KCL 测试工具支持使用 KCL 函数编写单元测试并使用工具执行测试。

您可以在后缀名为 “_test.k” 文件中通过 lambda 表达式来编写您的测试用例。

import .app

# Convert the `App` model into Kubernetes Deployment and Service Manifests
test_kubernetesRender = lambda {
a = app.App {
name = "app"
containers.ngnix = {
image = "ngnix"
ports = [{containerPort = 80}]
}
service.ports = [{ port = 80 }]
}
deployment_got = kubernetesRender(a)
assert deployment_got[0].kind == "Deployment"
assert deployment_got[1].kind == "Service"
}
 

通过 kcl test 命令可以运行这个测试用例并查看测试结果。

测试通过会将得到如下结果:

test-pass

如果测试失败了,kcl test 会将输出错误信息进行输出。

test-failed

KCL 包管理工具​

新增 update 命令用于自动更新本地依赖,使用 kcl mod update 将会自动下载本地缺失的三方库。具体参考: https://github.com/kcl-lang/kpm/pull/212

KCL 导入工具发布​

支持从 YAML/JSON/CRD/Terraform Schema 一键生成 KCL 配置/模型,实现自动化迁移。

如果您有如下 yaml 文件:

apiVersion: apps/v1
kind: Deployment
metadata:
name: nginx-deployment
labels:
app: nginx
spec:
replicas: 3
selector:
matchLabels:
app: nginx
template:
metadata:
labels:
app: nginx
spec:
containers:
- name: nginx
image: nginx:1.14.2
ports:
- containerPort: 80
 

通过命令 kcl import test.yaml 您可以将其转换为 KCL 程序。

"""
This file was generated by the KCL auto-gen tool. DO NOT EDIT.
Editing this file might prove futile when you re-run the KCL auto-gen generate command.
"""

apiVersion = "apps/v1"
kind = "Deployment"
metadata = {
name = "nginx-deployment"
labels = {
app = "nginx"
}
}
spec = {
replicas = 3
selector = {
matchLabels = {
app = "nginx"
}
}
template = {
metadata = {
labels = {
app = "nginx"
}
}
spec = {
containers = [
{
name = "nginx"
image = "nginx:1.14.2"
ports = [
{
containerPort = 80
}
]
}
]
}
}
}
 

更多详细内容请参考一键从 Kubernetes 生态迁移到 KCL

社区集成 & 扩展更新​

KCL 三方库市场 ArtifactHub​

通过集成 artifacthub.io 我们构建了一个 KCL 三方库市场,在这里您尽可以大展您的才华,与我们一同分享您对 KCL 程序的独特理解,您也可以尽情挑选,找到适合您自己的 KCL 三方库 !

打开首页,直接搜索您需要的关键字,就能看到关于 KCL 三方库的相关内容 !

artifachub-index

在三方库首页,可以查看关于三方库的详细内容和相关文档。

pkg-page

如果您不知道该如何使用这些三方库,右侧的按钮可以为您唤起安装页面。

install-pkg

欢迎大家来 artifacthub.io 为 KCL 社区贡献您的三方库,让 KCL 社区变得更加丰富多彩!

贡献指南:https://kcl-lang.io/docs/user_docs/guides/package-management/how-to/publish_pkg_to_ah

其他更新​

完整更新和错误修复列表详见: https://github.com/kcl-lang/kcl/compare/v0.6.0...v0.7.0

文档更新​

KCL 网站新增 KCL v0.7.0 文档内容并支持版本化语义选项,目前支持 v0.4.x, v0.5.x, v0.6.x 和 v0.7.0 版本选择,同时欢迎社区同学进行文档共建。

社区动态​

KCL 正式成为 CNCF 沙箱项目​

🎉 🎉 🎉 2023 年 9 月 20 日,KCL 项目通过了全球顶级开源基金会云原生计算基金会(CNCF)技术监督委员会评定,正式成为 CNCF 沙箱项目。

更多详情详见: https://kcl-lang.io/blog/2023-09-19-kcl-joining-cncf-sandbox/

特别鸣谢​

感谢社区的小伙伴在 KCL v0.7.0 版本中的贡献,以下排名不分先后

  • 感谢 @jakezhu9 对 KCL Import 工具 Terraform Schema 到 KCL Schema 转换的贡献 🙌 https://github.com/kcl-lang/kcl-go/pull/152
  • 感谢 @jakezhu9 对 kpm 集成 Import 工具的贡献 🙌 https://github.com/kcl-lang/kpm/pull/194
  • 感谢 @zwpaper 对 KCL 文档和 Tree Sitter Grammar 做出的贡献 🙌 https://github.com/kcl-lang/tree-sitter-kcl/pull/1 
  • 感谢 @jakezhu9 对 KCL 语法解析单元测试的改进,将部分测试用例统一迁移到使用 snaptest 框架 🙌 https://github.com/kcl-lang/kcl/pull/794 
  • 感谢 @opsnull 对 KCL 官网文档中代码示例的纠错和贡献 🙌 https://github.com/kcl-lang/kcl-lang.io/pull/182
  • 感谢 @prahaladramji 对 KCL IntelliJ 插件格式化功能的纠错和优化 🙌 https://github.com/kcl-lang/intellij-kcl/pull/15
  • 感谢 @jakezhu9 对 KCL benchmark 由单线程 Rc 到 Arc 的改进,对 KCL 导入工具中关于引用路径的 bug修复 🙌 https://github.com/kcl-lang/kcl-go/pull/170 
  • 感谢 @liangyuanpeng 为 KCL 模型贡献 karmada 模型包,欢迎!🙌 https://github.com/kcl-lang/artifacthub/pull/48/files
  • 感谢 @cr7258 对 KCL 模型库以及 KCL 文档的贡献 🙌
    • https://github.com/kcl-lang/kcl-lang.io/pull/203
    • https://github.com/kcl-lang/kcl-lang.io/pull/209
    • https://github.com/kcl-lang/kcl-lang.io/pull/210
    • https://github.com/kcl-lang/kcl-lang.io/pull/211
    • https://github.com/kcl-lang/modules/pull/67
  • 感谢 @XiaoK29 为 KCL IDE 的悬停和引用查找功能代码架构重构以及 KCL 文档的贡献 🙌
    • https://github.com/kcl-lang/kcl/pull/887
    • https://github.com/kcl-lang/kcl/pull/899
    • https://github.com/kcl-lang/kcl-lang.io/pull/205
  • 感谢 @MeenuyD, @negz 对 Crossplane KCL Composition Functions 集成的讨论与支持 🙌
    • https://github.com/kcl-lang/kcl/issues/885
  • 感谢 @kolloch 对 Bazel KCL 构建规则脚本的宝贵反馈 🙌
    • https://github.com/kcl-lang/rules_kcl/pull/2

下一步计划​

感谢所有 KCL 用户和社区小伙伴在此次版本更新过程中提出的宝贵反馈与建议。预计 2024 年 2 月,我们将发布 KCL v0.8.0 版本,更多详情请参考 KCL 2024 路线规划 和 KCL v0.8.0 Milestone,如果您有更多的想法和需求,欢迎在 KCL Github 仓库发起 Issues 或讨论,也欢迎加入我们的社区进行交流 🙌 🙌 🙌

更多其他资源请参考:

  • KCL 网站: https://kcl-lang.io/

  • Kusion 网站: https://kusionstack.io/

  • KCL GitHub 仓库: https://github.com/kcl-lang/kcl

  • Kusion GitHub 仓库: https://github.com/KusionStack/kusion

  • KCL v0.8.0 Milestone: https://github.com/kcl-lang/kcl/milestone/8

  • KCL 2024 路线规划: https://github.com/kcl-lang/kcl/issues/882

  • KCL 社区: https://github.com/kcl-lang/community


相關推薦

2023-11-24

Schema 参数数量的检查 🔧 工具链更新 测试工具发布 支持使用 KCL 函数编写单元测试并使用工具执行测试 支持使用正则表达式过滤待测试用例 支持单元测试快速失败功能 导入工具更新 修复 patterns 到正则匹

2023-07-18

简介 KCL 团队很高兴地宣布 KCL v0.5.0 新版本现在已经可用!本次发布为大家带来了三方面的重点更新:语言、工具链、社区集成 & 扩展支持。 使用功能更完善错误更少的 KCL 语言和 IDE 提升代码编写体验和效率 使用 KPM,

2023-10-14

合并内容概述 🔧 语言及工具链更新 KCL v0.6.0 于 9.15 发布,更新内容包括语言、工具链、社区集成,详细内容请查看 https://mp.weixin.qq.com/s/f6RCZqxS2iliRGIz0036yA KCL IDE 更新 - 支持对标准库和内置函数的悬停提示,支持对 KCL 代码

2023-11-10

KCL 包管理工具 KPM 更新 -  更流畅的创建、发布 KCL 包的工作流:支持基于版本系统的包更新和发布的自动化流程;此外,现已允许对KCL包的元信息自定义配置 KCL 模型更新 - 开箱即用的 KCL 模型新增至 120

2023-04-18

CL 团队很高兴地宣布 KCL v0.4.6 新版本现在已经可用!本次发布为大家带来了三方面的重点更新:语言、工具链、社区集成 & 扩展支持。 使用 IDE 插件提升 KCL 代码编写体验和效率 Helm/Kustomize/KPT 云原生社区工具集成 完善 KC

2023-08-11

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

2023-08-24

属性默认值 📰 官网和用例更新 新增通过 docker.io 发布 KCL 包用例: https://github.com/kcl-lang/kpm/blob/main/docs/publish_to_docker_reg.md 新增 KCL Gitlab CI 集成用例: https://kcl-lang.io/docs/user_docs/guides/ci-integration/gitlab-ci 新增 KCL 密

2024-01-05

社区小伙伴在社区中提出的宝贵反馈与建议。后续我们会发布更多 KCL 云原生模型和工具集成文章,敬请期待! 查看 KCL 社区 加入我们。 更多其他资源请参考: KCL 网站 KusionStack 网站 KCL v0.8.0 Milestone

2023-04-28

kclvm 的 Go 语言包装,提供了 Go 语言的 SDK,方便了在云原生环境下 KCL 语言的集成。 目前,KCL Go SDK 客户端构建在 kclvm json2 rpc API 之上,这意味着它使用和其他语言的 kclvm 客户端使用的相同 API 与 KCL 源代码交互,这与其他语言

2023-08-11

​StarRocks 自 4 月底发布 3.0 版本,拥抱云原生,开启极速统一的湖仓新范式;8月7日,StarRocks 正式发布全新 3.1 版本,全面提升云原生存算分离构架、极速数据湖分析、物化视图等重量级特性,让用户更简单的实现极速统一的湖

2023-09-14

系列商业化产品作为 TDMQ 产品家族的新成员在本次大会上重磅发布。 TDMQ RocketMQ 版是一款分布式高可用的消息队列服务,兼容 Apache RocketMQ 的各个组件与概念,支持开源客户端零改造接入,同时具备计算存储分离,灵活扩缩容

2023-07-08

举行的大会主题演讲中,华为常务董事、华为云CEO张平安重磅发布盘古大模型3.0和昇腾AI云服务。其中,盘古大模型3.0围绕“行业重塑”“技术扎根”“开放同飞”三大创新方向,持续打造核心竞争力,为行业客户、伙伴及开发

2023-03-04

平台。KubeVela 背后的核心理念是 2019 年阿里云和微软联合发布的开放应用模型(OAM),演变至今,KubeVela 通过其可编程可扩展的架构、良好的用户体验,以及大量的生态核心能力,帮助了钉钉、招商银行、理想汽车、移动云、百

2023-07-15

宣布 TiDB Serverless 正式商用。会上,PingCAP 携手用户代表发布平凯数据库,以更加完善的国产化生态兼容和企业级服务支持能力降低中国企业升级数据基础设施的成本和复杂性。30 多位来自各行业、深耕数据库领域多年的意见领