纯的 这是任意纯类型系统的解释器。 查看详细说明。 Pure使用双向类型检查，因此其键入规则与Wikipedia上列出的规则略有不同。 这是打字规则，其灵感来自《有关。 Oleg Grenrus在有关纯类型系统的双向类型检查的中。 我只是略读了一下，但我们似乎提出了几乎相同的规则集。 但是，他在探索这个想法上比我对Pure进行的研究更深入。 编译中 Pure使用 ，可以与opam install dune 。 要构建解释器，请运行dune build repl.exe ，并使用.pure文