Constant bindings - Githubissues

sixthnormal / clj-3df

Clojure(Script) client for Declarative Dataflow.

Eclipse Public License 2.0

328 stars 13 forks source link

Constant bindings #18

Open comnik opened 5 years ago

comnik commented 5 years ago

We should add support for constant bindings in ...

[x] predicates
[x] function expressions
[ ] rule expressions

For predicates and function expressions support is rather straight-forward, but for rules we can spend some more time thinking about how to do it efficiently. A first idea was to turn constant bindings to rule inputs into predicates that are then pushed down as far as possible into the rule body itself, to avoid unnecessary materialziation of tuples.

bachdavi commented 5 years ago

[ ] Add possible explicit :ValueType

For example unix timestamps (> ?t {:Instant 132352525}) for things that cannot be inferred.