型 (構造体/レコード、関数型とそのパラメーターなど) を記述するメタ言語と、ツールに供給できる定数、または複数のターゲット言語のプロトタイプを作成するためのコードを記述できるメタ言語はありますか? 注: (E)BNF は、私が探しているものにさえ近くありません。
IDL は私が必要としているものに近いように見えますが、私が調べたフレーバーは、オブジェクト指向ではないシステムをカバーしていませんでした。Microsoft の M は .NET に関連付けられているようで、私がそれを必要とするシステムは、通常「C-API」と呼ばれるものです。派手なインターフェース定義やリモートオブジェクト指向のものはありません。