language-agnostic - 元语言以独立于语言的方式为“C-API”描述类型

Question

是否有一种元语言来描述可以提供给工具的类型（结构/记录、函数类型及其参数......）和常量，或者我可以编写代码来为多种目标语言创建原型？注意：（E）BNF 甚至与我正在寻找的东西都不接近。

IDL 看起来更接近我的需要，但我看到的那些风格甚至没有涵盖不是面向对象的系统。Microsoft 的 M 似乎与 .NET 相关联，而我需要它的系统确实是人们通常所说的“C-API”。没有花哨的接口定义或任何远程面向对象的东西。

Answer 1

OMG IDL 提供了描述 IDL 结构到包括 C 在内的许多知名语言的映射的文档：

http://www.omg.org/technology/documents/idl2x_spec_catalog.htm