I'd also like to read about people's experiences with Cue. > In a language like Nix there isn't really a distinction between compile time and runtime anyways

I'd also like to read about people's experiences with Cue. > In a language like Nix there isn't really a distinction between compile time and runtime anyways This is very true, but exactly for this reason Cue's unified approach of having types be values seems like a good thing. Perhaps Cue is missing the ability to create new abstractions? I guess Turing-completeness may be necessary for this after all.