Hacker GitHub

← All repos

fsprojects/Rezoom.SQL

View on GitHub ↗ ★ 681 F#

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

19 mentions on Hacker News by 12 people: 3 stories, 16 comments · first 2017-07-30 · latest 2026-10-19

Mentions per year 19 mentions · busiest year 2017 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …%% +.parser1 -- parser2 -- +.parser3 -|> fun p1 p3 -> ... I used it extensively in a SQL parser: https://github.com/fsprojects/Rezoom.SQL/blob/master/src/Rez...
    comment by rspeele · 2026-10-19 · in Parser Combinators
  2. …etc. etc. [0] https://github.com/rspeele/infix.el [1] https://github.com/rspeele/LicenseToCIL [2] https://github.com/fsprojects/Rezoom.SQL [3] https://rspeele.github.io/FParsec-Pipes/Intro.html Yet, it's utterly hopeless to try to take the…
    comment by rspeele · 2026-10-09 · in Programming Isn't Special
  3. …Anyway, it was a little too weird to catch on, and I was a little too burnt out to maintain it. [1] https://github.com/fsprojects/Rezoom.SQL [2] https://fsprojects.github.io/Rezoom.SQL/doc/Rezoom/README.ht...
    comment by rspeele · 2026-08-25 · in Solving the 1+N Query Problem
  4. …answers for accuracy. And greater than 90% of the time its answers turned out to be correct. [1] https://github.com/fsprojects/Rezoom.SQL
    comment by rspeele · 2026-07-29 · in What if useful AI is a fantasy?
  5. …Some real code (but it's F# not C#) to look at. AST for my SQL dialect: https://github.com/fsprojects/Rezoom.SQL/blob/master/src/Rez... Typechecker code: https://github.com/fsprojects/Rezoom.SQL/blob/master/src/Rez... Backend code
    comment by rspeele · 2026-05-24 · in .NET (OK, C#) finally gets union types
  6. ▲ 4
    Statically Checked SQL for F#
    story by pkilgore · 2022-05-26 · 0 comments
  7. The closest thing is https://github.com/rspeele/Rezoom.SQL which once compiled in your F# project, can be used in C# by referencing the generated assembly. Although this is nothing to do with string interpolation, the "typed string…
    comment by smoothdeveloper · 2020-11-11 · in .NET 5.0
  8. maybe you should give this one a try: https://github.com/rspeele/Rezoom.SQL
    comment by siwatanejo · 2020-11-03 · in Leaving OCaml
  9. …real-time subscriptions, Admin UI. My most wanted feature is SQL type providers, like Rezoom.SQL - https://github.com/rspeele/Rezoom.SQL
    comment by devxpy · 2020-08-11 · in We Can Do Better Than SQL
  10. What you descrive is very similar to Rezoom.SQL for F#. https://github.com/rspeele/Rezoom.SQL It has type checked queries in plain SQL (based on SQLite syntax), compile time consistency checks, autocomplete, schema migrations, and more.…
    comment by galacticdessert · 2020-06-09 · in Prisma 2.0 – Type-safe and auto-generated database client
  11. …ORM that statically typed SQL a couple years ago. I always thought this would be a cool way to go. https://github.com/rspeele/Rezoom.SQL/ But I never got to use it at work, and thus lost interest. The biggest thing missing with it was that…
    comment by rspeele · 2019-05-07 · in To ORM or Not to ORM
  12. F# variant https://github.com/rspeele/Rezoom.SQL
    comment by dlahoda · 2019-03-31 · in Show HN: MЯO (ORM backwards) write SQL then generate its host-language wrapper
  13. …enough and the products work great. But it has all the design elegance of the US tax code. [0] https://github.com/rspeele/Rezoom.SQL [1] https://docs.microsoft.com/en-us/dotnet/api/system.linq.enum...
    comment by rspeele · 2019-02-13 · in SQL: One of the most valuable skills
  14. Its been mentioned here before, but check out Rezoom.SQL https://github.com/rspeele/Rezoom.SQL All the power with static typing
    comment by spikej · 2018-07-13 · in How NoSQL forced the evolution of a scalable relational database
  15. …you describe. As an aside, it also has unusually thorough documentation [2] by F# standards. [1] https://github.com/rspeele/Rezoom.SQL [2] https://rspeele.gitbooks.io/rezoom-sql/doc/Tutorial/
    comment by piaste · 2017-12-13 · in A full port of LINQ for JavaScript
  16. There's a new type provider out that takes a different approach by bundling a SQL parser: https://github.com/rspeele/Rezoom.SQL It can't check everything that the other providers can, but IMO you get most of the benefit without requiring…
    comment by mbenoni7 · 2017-08-16 · in The Problem with F# Evangelism
  17. …easy to write a GraphQL server backed by Rezoom + Rezoom.SQL. https://github.com/rspeele/Rezoom https://github.com/rspeele/Rezoom.SQL -- If there are any other resources I'm not aware of, please let me know!
    comment by j_s · 2017-08-05 · in Learn GraphQL with GitHub
  18. ▲ 138
    Rezoom.SQL: Statically typed SQL for F#
    story by Bognar · 2017-07-31 · 20 comments
  19. ▲ 8
    Statically typed SQL for F# compiled to SQLite/TSQL/Postgres
    story by rspeele · 2017-07-30 · 1 comment