Comment by anothername12
1 year ago
> We should really standardize a core language for SQL
Do you mean something other than ISO/IEC 9075:2023 (the 9th edition of the SQL standard)?
1 year ago
> We should really standardize a core language for SQL
Do you mean something other than ISO/IEC 9075:2023 (the 9th edition of the SQL standard)?
It costs 194 CHF to read. There is room for improvement.
A core language is a minimal AST without surface syntax (and thus no bikeshedding of that) that distills the surface language to its essence.
SQL is basically the list monad, with various quotients / refinements:
- Sometimes the order doesn't matter - Sometimes there are functional dependencies - Sometimes one knows the length of the list in question is 1 (foreign key constraints)