Hey y'all - how do I get in touch with language/type system nerds who want to build something cool?

nielsa@mas.to

Concretely, type inference for CUE lang in the context of helm charts in Kubernetes. I can find a budget, if I find the right person to build this, and we can move fast on it.

Goal: Programatically determine CUE schema for helm values file based on how the values are used in template files, starting from the schemas for well-known Kubernetes resources.

Who do I need to fund to build this?

nielsa@mas.to

Concretely:

- CUE lang (https://cuelang.org/docs/) can read OpenAPI specs
- Kubernetes resources come with OpenAPI specs
- Helm charts use *untyped* values files to *generate* Kubernetes resources - which may fail at apply time (after templating) if templating is incorrect
- We *should* be able to infer types for values files based on how they are used in templates, where we have known resource definitions (OpenAPI specs)

Ask me to clarify, tell me it's a terrible idea, or help me find a dev!

nielsa@mas.to

Applications of the tech:

- Type checking helm charts before applying them - improving the development feedback loop, potentialy providing a language server experience for writing values files, eliminating whole classes of errors in YAML engineering

- Better typing in e.g. the operator-framework helm-operator approach to operators, less manual work in generating well-formed resource definitions etc.

Without something like this, I need a way to move off helm. This extends helm's lifespan.

nielsa@mas.to

TL;DR: Send me your programming language nerds, especially if they know type theory and how to execute in code.