commit | 778719edcb389496c3e4f02b5513049af9118265 | [log] [tgz] |
---|---|---|
author | Marcel van Lohuizen <mpvl@golang.org> | Thu Dec 31 10:35:58 2020 +0100 |
committer | Marcel van Lohuizen <mpvl@golang.org> | Sat Jan 02 18:56:05 2021 +0000 |
tree | 6b48f2942f4de20ae0e3bc2b654ec8fc78f862a0 | |
parent | d5b4ca85151717ef204466464115b3b04d356682 [diff] |
internal/core/eval: breadth-first disjunction resolution This CL makes disjunction resolution polynomial instead of exponential. More precisely, running time for a field reduces from O(m)*O(c^d) to O(m)+O(d*c), where m is the number of non-disjunction conjuncts for a field, d is the number of disjunctions, and c the maximum number of disjuncts per disjunction. So overall, this reduces the running time by improving the big O runtime complexity as well as reducing the constant. This change also fixes numerous issues: - results properly reflect disjunction where this was previously not the case in some instances - error messages that were previously dropped in some cases are now retained. - this also means that the "empty disjunction" error message now properly reflect the error type, whereas previously this was sometimes lost. - embedding of disjunctions with struct and non-struct types are now properly resolved. - the scalar hack has been replaced with a more principled "non-default" erasure. Fixes #565 - was already at 10s for alpha6 on 16' Macbook Pro, but now down to 1.2s. (Orignally >10m). Fixes #547 Change-Id: Ib050ba3f15e481391e4a60e6d3ab7c3f512643fc Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8045 Reviewed-by: CUE cueckoo <cueckoo@gmail.com> Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
Configure, Unify, Execute
CUE is an open source data constraint language which aims to simplify tasks involving defining and using data.
It is a superset of JSON, allowing users familiar with JSON to get started quickly.
You can use CUE to
CUE merges the notion of schema and data. The same CUE definition can simultaneously be used for validating data and act as a template to reduce boilerplate. Schema definition is enriched with fine-grained value definitions and default values. At the same time, data can be simplified by removing values implied by such detailed definitions. The merging of these two concepts enables many tasks to be handled in a principled way.
Constraints provide a simple and well-defined, yet powerful, alternative to inheritance, a common source of complexity with configuration languages.
The CUE scripting layer defines declarative scripting, expressed in CUE, on top of data. This solves three problems: working around the closedness of CUE definitions (we say CUE is hermetic), providing an easy way to share common scripts and workflows for using data, and giving CUE the knowledge of how data is used to optimize validation.
There are many tools that interpret data or use a specialized language for a specific domain (Kustomize, Ksonnet). This solves dealing with data on one level, but the problem it solves may repeat itself at a higher level when integrating other systems in a workflow. CUE scripting is generic and allows users to define any workflow.
CUE is designed for automation. Some aspects of this are:
Using Homebrew, you can install using the CUE Homebrew tap:
brew install cuelang/tap/cue
If you already have Go installed, the short version is:
go get -u cuelang.org/go/cmd/cue
This will install the cue
command line tool.
For more details see Installing CUE.
The fastest way to learn the basics is to follow the tutorial on basic language constructs.
A more elaborate tutorial demonstrating of how to convert and restructure an existing set of Kubernetes configurations is available in written form.
Language Specification: official CUE Language specification.
API: the API on godoc.org
Builtin packages: builtins available from CUE programs
cue
Command line reference: the cue
command
Our canonical Git repository is located at https://cue.googlesource.com.
To contribute, please read the Contribution Guide.
To report issues or make a feature request, use the issue tracker.
Changes can be contributed using Gerrit or Github pull requests.
You can get in touch with the cuelang community in the following ways:
Unless otherwise noted, the CUE source files are distributed under the Apache 2.0 license found in the LICENSE file.
This is not an officially supported Google product.