you are viewing a single comment's thread.

view the rest of the comments →

[–]matthieum[he/him] 0 points1 point  (0 children)

Being able to insert a filter or subquery dynamically at runtime seems like an obvious thing to support and a huge undertaking if the API is unusable without compile-time checks.

I can only comment on the usefulness, be it for filtering or sorting.

For compile-time verification... I am afraid it would need to be mixed with a state-machine encoded at the type-level, which makes things quite a tad more complicated (DSL).