Thanks for responding. I am asking because more and more I see a need for universal type-describing language, one that transcends the programming languages and

Thanks for responding. I am asking because more and more I see a need for universal type-describing language, one that transcends the programming languages and can be used for various things e.g. specifying DB schemas, code-level invariants, generating network clients to interact with a service, and many others. It's a passion and I am going around gathering data on such syntaxes and trying to ascertain their viability. Your answer helped.