clojure - How to implement a type system with clojure core.logic

Question

I read in the interview with Rich Hickey that he would be interested in "using logic systems in place of a type system for Clojure". I also bumped into this statement in a SO answer, https://stackoverflow.com/a/6324228/380587 I can't see how logic and type system are related.

Answer 1

Clojure 目前使用 JVM 提供的类型系统。你可以使用普通的旧宏在它之上实现一个新的类型系统。这种新类型系统还可以提供运行时检查。就类型检查器而言（对于现有的基于 JVM 的类型系统或您自己的基于宏的类型系统），可以使用 core.logic 实现，类型检查器和 core.logic 之间的关系是类型检查器任务是查看代码中的静态类型注释并验证是否满足约束和关系，并且 core.logic 是一个可用于解决与约束和关系检查相关的问题的系统。

所以基本上，类型检查器是一个适合使用逻辑编程解决什么样的问题的问题。