欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
XPIDL 是一种用于声明 XPCOM 接口类的接口描述语言。
接口描述语言(IDL)用于采用机器无关同时语言无关的方式描述接口。IDL 的存在让定义可供特定工具自动生成语言无关的结构规范成为可能。
xpidl 就是一款这样的工具,用于生成 C++ 头文件,typelib 信息,等等。