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
[ Parent
| on HN ]
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.