algorithm - 我在哪里可以找到用于类型推断的笛卡尔积算法的实现？

Question

在哪里可以找到用于类型推断的笛卡尔积算法的实现？ （最好在 Python/C++ 中，但任何语言都可以。）

我已经在互联网上搜索了很多次，但是关于算法的细节很少，据我所知，没有公布的实现。

标签： algorithmtypestype-inferencecartesian-productselflanguage