3 ms·
LeanDB a strongly Typed SQL front end
- hargup 1mo agoI belive we can do regular software much better using formal methods, and I want to better communicate the developing tools, learnings and methodology. Would appreciate a quick reaction from the community.
- taoh 1mo ago[dead]
- eliasdejong 1mo ago> typed databases let you express queries which are just super hard to express otherwise Isn't type validation already in SQL with `CHECK` constraints? I don't see what the language is adding here exactly.
- hargup 29d ago[dead]
- alex7o 1mo agoThis sound very similar to https://www.geldata.com/ https://www.geldata.com/ you might want to check it out.
- hargup 29d agoThanks, looks interesting.
- nylonstrung 1mo agoThis is cool, I have been working on something similar with Lean4 albiet focused on compiling to Substrait This is pretty well done as well https://github.com/palladin/lean-linq https://github.com/palladin/lean-linq
- throwaway81523 1mo ago[dead]
- rsrsrs86 1mo agoAI writing is getting hard to digest