Evaluation order and nontermination in query languages

(rntz.net)

24 points | by luu 4 days ago

2 comments

  • veqq 2 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.
  • _alternator_ 1 hour 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.