True. But isn't this also accomplished when pairing JSON with JSON Schema?

The schema applies to the generated values, but what’s the equivalent of a schema for a programming language? Types.

Jsonnet does not have a way to validate its functions without running them first.

I clearly get that, but many IDEs use the schema to help you produce valid JSON.