Just came across CUE config / data validation language. I love its "types are values” concept.
Having not thought it through at all, I think a programming language that worked this way would be really cool - would simplify type definition syntax.
https://cuelang.org/docs/introduction/#types-are-values
=> More informations about this toot | View the thread | More toots from sfcgeorge@ruby.social
text/geminiThis content has been proxied by September (ba2dc).