Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- AI writing is getting hard to digestby rsrsrs86
- I 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.
by hargup - This 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
by nylonstrung - This sound very similar to https://www.geldata.com/ you might want to check it out.by alex7o
- Thanks, looks interesting.by hargup
- > 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.
by eliasdejong