cotalks.dev

"How types can turn a SQL interpreter into a SQL compiler" by Tiark Rompf

(link)