core.logic的动态类型关系

Question

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

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

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

是否已有适当的关系，或者我应该以不同方式表达？

Answer 1

虽然有效但当然使用project意味着form绝对必须在调用此目标之前完成。