Lean SQL initiatives

Stream: lean4

[Arthur Paulino]

Ah, just in case someone's wondering, @Florian Würmseer and I have a plan to deduplicate code. We're both exploring our own ideas to better understand their pros and cons and then we will extract common code to a separated Lean 4 package

[Arthur Paulino]

One difference between Florian's syntax and mine is that the former uses strings and the later uses identifiers. Example:

• Florian's syntax accepts SELECT "c" FROM "t"
• My syntax accepts SELECT c FROM t

What do you guys think? Which one is more appropriate?

[Henrik Böving]

Second

[Sebastian Ullrich]

Note that if you're planning to eventually move on to a statically-typed representation, there is a very good reason for why C# puts from in front of select: it is the correct order for auto completion

[Arthur Paulino]

Do you mean auto completing column names?