KCL programming language. - Mutation Validation Abstraction Automation Production-Ready

Mutation, Validation, Abstraction, Automation

Production-Ready

KCL is an open-source constraint-based record & functional language mainly used in configuration and policy scenarios.

了解更多下载

源于 Python、Go 等语言，丰富的语言特性，IDE 插件和工具链

以 Schema 为中心的配置类型及模块化抽象，基于 Config、Schema、Lambda、Rule 的逻辑和策略编写

依赖静态类型系统、约束和自定义规则的配置稳定性

通过独立配置块自动合并机制保证配置编写的高可扩展性

CRUD APIs，多语言 SDK，语言插件构成的梯度自动化方案

原生支持 OpenAPI、 Kubernetes CRD， Kubernetes YAML，KRM 等 API 生态规范

以更现代化的编程方式管理配置和策略

配置，模型，函数和规则

import konfig.models.kube.frontend

server: frontend.Server {
    image = "nginx"
}

-- Config
import konfig.models.kube.frontend

server: frontend.Server {
    image = "nginx"
}

schema Server:
    """Server is the abstraction of Deployment and StatefulSet.
    image: str, default is Undefined, required.
        Image name. More info: https://kubernetes.io/docs/concepts/containers/images.
    replicas: int, default is 1, required.
        Number of desired pods. This is a pointer to distinguish between explicit zero and not specified. Defaults to 1.
    labels: {str:str}, default is Undefined, optional.
        Labels is a map of string keys and values that can be used to organize and categorize (scope and select) objects.
    """
    image: str
    replicas: int = option("replicas") or 1
    labels?: {str:str}

-- Schema
schema Server:
    """Server is the abstraction of Deployment and StatefulSet.
    image: str, default is Undefined, required.
        Image name. More info: https://kubernetes.io/docs/concepts/containers/images.
    replicas: int, default is 1, required.
        Number of desired pods. This is a pointer to distinguish between explicit zero and not specified. Defaults to 1.
    labels: {str:str}, default is Undefined, optional.
        Labels is a map of string keys and values that can be used to organize and categorize (scope and select) objects.
    """
    image: str
    replicas: int = option("replicas") or 1
    labels?: {str:str}

import konfig.models.kube.frontend

genLocalityLabels = lambda cluster: str, app: str -> {str:str} {
    {
        "cluster.x-k8s.io/cluster-name" = cluster
        "app.kubernetes.io/name" = app
    }
}
server: frontend.Server {
    labels: genLocalityLabels("my-cluster", "nginx")
}

-- Lambda
import konfig.models.kube.frontend

genLocalityLabels = lambda cluster: str, app: str -> {str:str} {
    {
        "cluster.x-k8s.io/cluster-name" = cluster
        "app.kubernetes.io/name" = app
    }
}
server: frontend.Server {
    labels: genLocalityLabels("my-cluster", "nginx")
}

import regex

rule ServerRule for Server:
    1 <= replicas < 20, "replica should be in range [1, 20)"
    regex.match(image, r"^([a-z0-9.:]+).([a-z]+):([a-z0-9]+)/([a-z0-9.]+)/([a-z0-9-_.:]+)$"), "image name should satisfy the `REPOSITORY:TAG` form"

ServerRule()

-- Rule
import regex

rule ServerRule for Server:
    1 <= replicas < 20, "replica should be in range [1, 20)"
    regex.match(image, r"^([a-z0-9.:]+).([a-z]+):([a-z0-9]+)/([a-z0-9.]+)/([a-z0-9-_.:]+)$"), "image name should satisfy the `REPOSITORY:TAG` form"

ServerRule()