Rho:检查ρ属性的程序

组合器的ρ属性的工具 如果组合器X满足X m且X n对于不同的m和n等于βη，则由闭合λ项给出的组合器的高阶函数被称为具有ρ性质。其中X n由X定义1 = X且X n = X n-1 X且n> 1。 此处提供三个程序rho ， bpoly和bmono 。 要求以及如何建造 每个程序都可以通过make使用目标程序的名称来构建，例如make rho 。 只要满足要求，就可以仅通过make来构建所有程序。 对于rho ，需要OCaml（≥4.08）和CamlP5 对于bpoly ，需要OCaml（≥4.08），Cam1P5和 。 对于bmono ，需要一个标准的C编译器。 程序rho 程序rho检查任意组合器的ρ属性。 例如，通过以下方法检查B的ρ属性，即B 10 = B 6 。 $ rho B 其中$表示命令提示符。 要检查B（BB），请运行 $ rho 'B(B B)' 简单地。