欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PyXPCOM 允许在 Python 和 XPCOM 之间建立通信, 这样 Python 应用就可以访问 XPCOM 对象, XPCOM 也能访问任意实现了 XPCOM 接口的 Python 类。