正式和可测试的API定义

Question

是否有一种与形式语言无关的语言来描述API？我想定义一个在多个体系结构中使用的实用程序库，并希望以某种方式以编程方式测试所有API函数是否已经实现，并且理想情况下，跨平台运行一些函数的单元测试。

例如，我想要用C＃编写.Net程序集，用C ++编写Windows DLL，用Objective-C编写MacOS库，用C ++编写Linux共享库。

Answer 1

Thrift：

  

Thrift是一个在Facebook开发的远程过程调用（RPC）框架，用于“可扩展的跨语言服务开发”。它将软件堆栈与代码生成引擎相结合，构建可在C ++，C＃，Java，Perl，Python，PHP，Erlang和Ruby之间高效无缝地工作的服务。虽然在Facebook开发，但它现在是Apache Software Foundation Incubator中的一个开源项目。 2007年4月由Facebook发布的技术论文中描述了该实施，该论文现已在Apache上发布。

Answer 2

这是一个很好的链接：Interface description language。