undefined | Better HN

0 pointsJeffMcCune1y ago0 comments

I share Marcel's view, a DSL is the ideal position on the configuration complexity clock. CUE in particular is ideal for configuration because of how it handles unification.

I wrote up why we selected CUE here, with links to explanations from Marcel who explains it better than I: https://holos.run/blog/why-cue-for-configuration/

These comments in particular reminded me of Marcel's video linked at the bottom of that article, where he talks about the history of CUE in the context of configuration languages at Google: https://www.youtube.com/watch?v=jSRXobu1jHk

0 comments

adsharma1y ago

> Many general purpose languages support type checking, but few support constraints and validation of data. We must write our own validation logic which often means validation happens haphazardly, if at all.

Python with z3 and some AST magic can support constraint validation.

In fact, type checking can be seen as a form of that. I have a fork of typpete, a z3 based type checker from 3 years ago that should still work.

https://adsharma.github.io/pysmt/

nosefrog1y ago

That's why I said it's an unpopular opinion :P

JeffMcCuneOP1y ago

Got you, I did not mean to be argumentative, only to explain why Holos is what it is.

j / k navigate · click thread line to collapse