3 ms·
Triggers are an imperative hack. This is like using a C struct with an enum and a union, and claiming that C has "sum types".
by catnaroek 11y ago
Triggers are an imperative hack. This is like using a C struct with an enum and a union, and claiming that C has "sum types".
- mjw 11y agoAgreed that SQL is ugly as hell, but if you want to talk about its theoretical properties that's a separate debate. Theory doesn't care whether something's aesthetically pleasing, just whether it's possible.