Still looking for type theory or prog lang-nerding developers, or hints on where they hang out, if anyone on here can help point me in the right direction 😁 https://mas.to/@nielsa/116096359944346857
#proglang #typetheory
#proglang #typetheory
Niels Abildgaard (@[email protected])
Hey y'all - how do I get in touch with language/type system nerds who want to build something cool? 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?