将动态数量的"变量"传递给Datomic API函数

Question

这是我在Datomic google小组上提出的问题的转贴(请参阅此处 - 最后3篇帖子最佳).

这个问题围绕着我动态生成Datomic查询的事实.因此,在传递给函数之前,参数(名称和值)的数量是未知的.我可以很好地生成查询.核心问题是,使用Clojure Datomic API,我无法使用动态数量的参数调用datomic.api/q函数.所以下面的〜@ unquote-splice表达式失败了.我尝试了其他几种方法,包括局部和应用,但无济于事.

(def expression-final `(datomic.api/q ~expression-intermediate ~db-conn ~@param-values))   ;; gives the error in question
(eval expression-final)


 java.lang.Exception: processing rule: (q__34868 ?e)
    at datomic.datalog$eval_rule$fn__4687.invoke(datalog.clj:977)
    at datomic.datalog$eval_rule.invoke(datalog.clj:957)
    at datomic.datalog$eval_query.invoke(datalog.clj:999)
    at datomic.datalog$qsqr.invoke(datalog.clj:1053)
    at datomic.datalog$qsqr.invoke(datalog.clj:1021)
    at datomic.query$q.invoke(query.clj:453)
    at datomic.api$q.doInvoke(api.clj:31)
    ... 1 stack levels elided ...
    at user$eval34866.invoke(crud_spec.clj:32)
    ... 3 stack levels elided ...
    at stefon_datomic.crud$retrieve_entity.invoke(crud.clj:95)
    ...
 Caused by: java.lang.Exception: processing clause: [?e :posts/title (quote ?title)]      ;; this fails with or without the (quote ...)
    at datomic.datalog$eval_clause$fn__4667.invoke(datalog.clj:934)
    at datomic.datalog$eval_clause.invoke(datalog.clj:900)
    at datomic.datalog$eval_rule$fn__4687.invoke(datalog.clj:972)
    at datomic.datalog$eval_rule.invoke(datalog.clj:957)
    ...
 Caused by: java.lang.UnsupportedOperationException: nth not supported on this type: Symbol
    ... 2 stack levels elided ...
    at datomic.datalog$extrel_coll$fn__4384.invoke(datalog.clj:197)
    ... 4 stack levels elided ...
    at datomic.datalog$iterator.invoke(datalog.clj:30)

我想知道这是否是Datomic Clojure API中的错误？或者,如果有更简单的方法来传递动态数量的变量.硬编码传入的变量数量,无法动态生成查询.请参阅此处的最新3篇帖子,以获取更多详细信息.

谢谢

Answer 1

所以,根据你的源代码,我设法简化了一些代码:

(defn add-entity-ns
  [ekey datom-map]
  (reduce-kv (fn [a k v]
               (assoc a (keyword
                         (name ekey)
                         (name k))
                      v))
             {}
             datom-map))

(defn retrieve-entity
  [conn constraint-map]
  (let [name-fn (comp symbol
                      (partial str "?")
                      name)
        param-names (map name-fn
                         (keys constraint-map))
        param-vals (vals constraint-map)
        constraint-map (add-entity-ns :posts constraint-map)
        where-clause (map #(vector '?e % %2)
                      (keys constraint-map)
                      param-names)
        in-clause (conj param-names '$)
        final-clause (concat [:find '?e]
                             [:in] in-clause
                             [:where] where-clause)]
    (apply d/q final-clause (d/db conn) param-vals)))

注意:当我开始使用datomic时,我自己写了类似的函数来生成查询.我最后扔掉了它们,原因有以下几点:

1. 一团糟.Datalog用于执行逻辑查询.即使datomic执行缓存,生成逻辑查询并调用它也需要更长的时间.这是因为Datalog必须在逻辑上解析查询,这需要相当长的时间.
2. 如果您知道如何查询,那么实际上对所有实体进行一次查询然后将其过滤掉,执行常规序列转换(对于庞大的数据库,使用reducers!)会更好.这适用于平均值.比Datalog快20倍(使用标准进行基准测试).如果您不相信我,请编写一个查询来查询数据库中所有:post/x实体的查询,而不是过滤掉哪些帖子符合您的条件filter等等.如果您有一个大型数据库,请使用reducers foldcat.
3. 我自己写了一个过滤引擎(用于一组实体),作为一种查询 - DSL.我根据项目和数据库结构修改它.能够编写DSL是LISP和Datomic的强大功能,这要归功于像数据结构这样的哈希映射实体.它的执行速度比Datalog快(以特定领域为代价).