I really like what dhall-lang (https://dhall-lang.org https://dhall-lang.org) is doing in that sense. It manages to strike a nice balance between power and simp

I really like what dhall-lang (https://dhall-lang.org https://dhall-lang.org) is doing in that sense. It manages to strike a nice balance between power and simplicity from the start.