我正在使用编译器，我正在搜索可以为我进行类型检查的库。到目前为止我没有找到任何有用的东西= /有没有人知道好的类型检查库？我正在使用Haskell，但如果库很好，我会考虑任何其他语言=）
答案 0 :(得分：3)
可能有一些库可以帮助处理类型检查器的位，特别是如果你确实需要类型检查器而不是类型推断。例如，有一些库在Haskell中嵌入了逻辑编程 - 在10,000英尺处，使用逻辑编程编写类型检查器比编写函数编程更容易（例如，上面提到的 shapr 的Chameleon基于关于嵌入在Haskell中的CHR语言）。
也就是说，Haskell中的嵌入式逻辑编程是一个很大的进步，如果你之前从未编写过类型检查器，可能只需要很少的文档。类似地，属性语法（即UUAG）是一种令人愉快的形式主义，它提供了你自己需要编写的相当多的机器，但是如果你以前从未使用过，那么它们可能会给你一个几乎没有路标的地方。
除非您之前已经编写过类型检查程序，否则最好不要担心库并从头开始完成整个过程。 Mark P. Jones撰写的“在Haskell中打字Haskell”的论文可能与任何一篇文章一样好。
答案 1 :(得分：1)
也许Martin Sulzmann的Chameleon会有所帮助吗？
答案 2 :(得分：0)
我在hackage上找到了几个类型的检查程序，包括dedukti，hybrid和lambdacube，可能其中一个会起作用吗？