I find cue lang [1] very practical/useful/terse, their idea of lattice based type system is very intuitive and expressive with very little code.
I invite readers to try the cue/Kubernetes tutorial, its inspired: https://github.com/cuelang/cue/blob/v0.2.2/doc/tutorial/kube...
Here the language creator explains the inspiration and the concept, then he works through the above tutorial https://www.youtube.com/watch?v=b3fhA12KS48