News for hackers. Stuff that matters.
Re:The future of interactive theorem proving? by LunaSea on Wednesday August 17, 2022 @07:25AM (#32494767)
I don't completely agree. Yes, SQL is a great success but no, the declarativeness was not enough and we end up generating SQL through ORMs, query builders, templating, etc
Re:The future of interactive theorem proving? by fooker on Wednesday August 17, 2022 @09:24PM (#32504072)
I agree that there should have been more innovation on thosd aspects of query languages!

It's a little bit tricky because there aren't much low hanging fruits for academics to write good papers about, so this innovation is up to programmers who want to improve their quality of life when dealing with databases.