Evaluation order and nontermination in query languages
25 points
by luu
4 days ago
| 2 comments
| rntz.net
| HN
veqq
3 hours ago
[-]
https://codeberg.org/veqq/declarative-dsls is built around a query language working on tables/dataframes, hashmaps, arrays, strings etc. in the same way. I ended up allowing things like :where :group-by etc. in `select` go in any order and then allowing you to use ->> macros to micromanage the execution order.
reply
_alternator_
2 hours ago
[-]
A quick skim of the article suggests it's a study of the implications of allowing query planning in programs which are notionally finite but may have unbounded computation. Interesting.
reply