That's a really interesting idea! The language for API validation could be a total programming language [0], something similar to Dhall [1] for configuration.

[0]: https://en.m.wikipedia.org/wiki/Total_functional_programming

[1]: https://github.com/dhall-lang/dhall-lang