You might find Cue interesting: https://cuelang.org/

It's a bit overambitious IMO, but it tries taking a relatively different approach to the problem that I find to be quite interesting.