genuinely baffled why I can't name any general purpose programming languages that make databases+queries+atomicity a first-class construct