Задался я тут вопросом: можно ли описать структуры данных одним, универсальным языком, и проверять передаваемые данные на соответствие определенной схеме?

Дело в том, что наиболее распространенный сейчас в веб-программировании формат — JSON, не совсем универсальный. Он не поддерживает ассоциативные массивы, бин
Какие Вы знаете языки сериализации? XML — раз, JSON — два, некоторые скажут YAML — три!
А их гораздо больше.

Вот список языков описания структур данных:
https://en.wikipedia.org/wiki/Comparison_of_data_serialization_formats#Comparison_of_binary_formats

А вот список схем для этих языков (IDL) — для проверки структур на заданный шаблон, записанных в разных языках сериализации, или проверяемых с помощью разных языков сериализации
https://en.wikipedia.org/wiki/Interface_description_language

немного больше, чем 4, правда?
Удивляет их обилие! Это показывает, что этот вопрос еще не решен однозначно, так, чтобы всех устраивало и люди еще в поиске в этом направлении