dhall-aws-cloudformation VS starlark-go

I have been writing a fair amount of Dhall using autogenerated CloudFormation bindings ( https://github.com/jcouyang/dhall-aws-cloudformation/ ). It is a fantastic way to reduce boilerplate and factor out recurring blobs. My main frustration is that the type checker is not smart enough (or maybe the type system is undecidable?) - every time you want to use a polymorphic function, you must pass in the type parameters yourself (this is also true for empty lists and `None`). This makes simple FP idioms extremely noisy, to the point where you're better off writing longhand. In a language that's meant to be alleviating YAML/JSON boilerplate.

It's still a massive improvement, but it could be so much better if the typechecker was smarter.

Starlark in go https://github.com/google/starlark-go is a great way to combine the best of both, the ease of use of Python and the simplicity of go.

I have been building a platform for deploying internal web applications using this approach https://github.com/claceio/clace. Use Starlark to configure the application, the platform itself is built in go.

The big unknown is your task definition: what does user-defined logic look like? If you're expecting go code, that's gonna need some cleverness because of the compiled nature of it. There's a node runtime implemented in go if you want to provide sandboxed javascript (check the source of k6.io, it's the main one I know that uses it). If you want to provide building blocks and let them compose them, starlark might be a good choice.

Another one of those (with broader language support) is the Starlark language, which has a Go implementation: https://github.com/google/starlark-go

Every config format gets as complex to be touring complete in the end. We had similar problems and eventually got rid of that complexity and switched to starlark (the bazel config language), was a huge benefit for the tools. https://github.com/google/starlark-go "Starlark is a dialect of Python intended for use as a configuration language. Like Python, it is an untyped dynamic language with high-level data types, first-class functions with lexical scope, and garbage collection."

Direct link to the Go implementation of Starlark: https://github.com/google/starlark-go

For a Python-like syntax, https://github.com/google/starlark-go is the language used in Babel. It's very mature, but since it is used in a massive mature project with a specific purpose, it doesn't move fast or drift from the spec of its Java-based sibling. It doesn't have exception try except blocks or some other features you might expect, but for short extension logic, it might be exactly what you want with the stability you can depend upon.

Context: https://github.com/google/starlark-go/blob/cfacd890221418a2dc2c736f7b5e3476c38709b1/starlark/int_posix64.go

Thus envd is more like Dockerfile, while it uses a simplified python dialect starlark https://github.com/google/starlark-go as the build language.

Use Go (mostly for starlark-go)