Someone has just tried to mention you in the _"History of Databases"_ thread:
I'm bugging you here, because mentions are broken with everybody having spaces in their names. It's meant as a notification just as if the mentions were working. Feel free to not respond, at least now you know we're there.
I understand that categorical representations for SQL might help getting types to work to help get better programs in the end. I would love to hear a bit about motivations and lessons from applying these more modern approaches in practice, and I think the others might have more questions.
The discussion is currently drifting towards the practical side, which that may or may not be a good thing.