文件名称：Rho:检查ρ属性的程序
文件大小：27KB
文件格式：ZIP
更新时间：2024-05-28 04:26:22
OCaml
组合器的ρ属性的工具 如果组合器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)' 简单地。
【文件预览】：
Rho-master
----.gitignore(73B)
----bpoly.ml(14KB)
----arithexp.ml(827B)
----rho.ml(15KB)
----bmono.c(6KB)
----readme.md(6KB)
----bexpr.ml(27KB)
----store.ml(944B)
----Makefile(2KB)
----cycle.ml(23KB)