Hacker News — vinext + Cloudflare Workers

NHacker Next

new
past
show
ask
show
jobs
submit

▲LeanDB a strongly Typed SQL front end (theoric.com)

12 points by hargup 4 days ago | 4 comments

nylonstrung 2 hours ago [-]

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

eliasdejong 5 hours 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.

alex7o 3 hours ago [-]

This sound very similar to https://www.geldata.com/ you might want to check it out.

hargup 4 days ago [-]

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.

taoh 6 hours ago [-]

[dead]

Rendered at 23:59:08 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.