元语言用于以“C-API”的语言无关方式描述类型

Question

是否有元语言来描述类型（结构/记录，函数类型及其参数...）和可以提供给工具的常量，或者我可以编写代码来为多种目标语言创建原型？注意：（E）BNF甚至不如我所期望的那样。

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

Answer 1

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

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