clojure - core.logic 的动态类型关系

Question

在 core.logic 中定义或使用类型关系的最佳方法是什么？

我尝试了类似这样的方法来获得表单参数类型的简化表示，但是项目使用会导致各种问题

(defn typeo
  [form type]
  (project [form]
    (== type (-> form .getClass .getSimpleName .toLowerCase symbol))))

是否已经存在可用的适当关系，还是我应该以不同的方式表达？

Answer 1

这当然有效，但在调用这个目标project之前form绝对必须先接地。