Rezoom.SQL

KO | EN

gitlite — search

#javascript #python #react #golang #go #deep-learning #linux #docker #windows #kubernetes #awesome-list #vue #pytorch #open-source

(★ 679)

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

File Explorer

Download Latest Version (.zip)

- - ci.yml
- - setup.scss
- pack-dev.ps1
- pack-parents.ps1
- pack-release.ps1
- regen-doc-nav.ps1
- - FileSystem.sln
- - SQLFiddle.sln
- - README.md
  - RezoomSQL.md
  - RezoomSQLAsynchronous.md
  - RezoomSQLMigrations.md
  - RezoomSQLPlans.md
  - RezoomSQLSynchronous.md
- - Configuration.md
  - Json.md
  - MigrationTree1.gv
  - MigrationTree1.gv.svg
  - MigrationTree2.gv
  - MigrationTree2.gv.svg
  - MigrationTree3.gv
  - MigrationTree3.gv.svg
  - MigrationTree4.gv
  - MigrationTree4.gv.svg
  - MigrationTreeComplex.gv
  - MigrationTreeComplex.gv.svg
  - MigrationTrees.md
  - README.md
- - AlterTableStmt.md
  - CommonTableExpression.md
  - CreateTableStmt.md
  - CreateViewStmt.md
  - DataTypes.md
  - DeleteStmt.md
  - DropStmt.md
  - DynamicSQL.md
  - Expr.md
  - InsertStmt.md
  - Literal.md
  - MissingFeatures.md
  - Name.md
  - NavigationProperties.md
  - README.md
  - SelectStmt.md
  - TypeHierarchy.gv
  - TypeHierarchy.gv.svg
  - UpdateStmt.md
  - VendorStatements.md
- - ConcurrentExecution.gv
  - ConcurrentExecution.gv.png
  - GroupByError.png
  - ModelChange.gif
  - NoTableError.png
  - Queries.gif
  - SequentialExecution.gv
  - SequentialExecution.gv.png
  - TypeMismatch.png
- - README.md
- - AddingMigrations.md
  - Async.md
  - LoadingNestedObjects.md
  - README.md
  - SwitchBackends.md
- - AdvancedMapping.md
  - AttributesReference.md
  - FieldLengthsAndStorage.md
  - Pitfalls.md
  - README.md
  - SolutionLayout.gv
  - SolutionLayout.gv.svg
- - RawBackendSQLTypeAttribute.cs
  - README.md
  - Rezoom.SQL.Annotations.csproj
  - SQLParameterDbTypeAttribute.cs
  - SQLTypeLengthAttribute.cs
- - AggregateChecker.fs
  - AssemblyInfo.fs
  - AST.fs
  - ASTMapping.fs
  - Backend.fs
  - BackendUtilities.fs
  - CommandEffect.fs
  - ComplexModelOps.fs
  - Config.fs
  - CoreParser.fs
  - DefaultBackend.fs
  - DefaultExprTranslator.fs
  - DefaultFunctions.fs
  - DefaultLiteralTranslator.fs
  - DefaultStatementTranslator.fs
  - Error.fs
  - ExprInfo.fs
  - ExprTypeChecker.fs
  - FunctionDeclarations.fs
  - InferredTypes.fs
  - Model.fs
  - ModelChange.fs
  - ModelOps.fs
  - Name.fs
  - Parser.fs
  - Postgres.fs
  - Postgres.Functions.fs
  - Postgres.MigrationBackend.fs
  - README.md
  - ReadWriteReferences.fs
  - Rezoom.SQL.Compiler.fsproj
  - SourceTypes.fs
  - SQLite.fs
  - SQLite.Functions.fs
  - Translators.fs
  - TSQL.Expression.fs
  - TSQL.fs
  - TSQL.Functions.fs
  - TSQL.MigrationBackend.fs
  - TSQL.Statement.fs
  - TypeChecker.fs
  - TypeInferenceContext.fs
  - TypeNameForCLRType.fs
  - TypeSystem.fs
  - UserModel.fs
  - UserTypeResolutionPass.fs
  - Utilities.fs
- - AssemblyInfo.fs
  - Asynchronous.fs
  - Asynchronous.fsi
  - Backend.fs
  - Blueprint.fs
  - BlueprintAttributes.fs
  - BlueprintModule.fs
  - CILHelpers.fs
  - CollectionConverters.fs
  - ColumnMap.fs
  - Command.fs
  - CommandBatch.fs
  - CommandParts.fs
  - CompositeColumnGenerator.fs
  - ConfigurationConnectionProvider.fs
  - ConnectionContext.fs
  - ConnectionProvider.fs
  - Converters.fs
  - DataReader.fs
  - EntityReader.fs
  - EntityReaderColumnGenerator.fs
  - FreezeDry.fs
  - IScalar.fs
  - Levenshtein.fs
  - ManyColumnGenerator.fs
  - ManyEntityColumnGenerator.fs
  - Migrations.fs
  - Plans.fs
  - Plans.fsi
  - PrimitiveColumnGenerator.fs
  - PrimitiveConverters.fs
  - Raw.fs
  - README.md
  - README_DEV.md
  - Rezoom.SQL.Mapping.fsproj
  - Row.fs
  - RuntimeUserConvert.fs
  - StaticEntityReaderTemplate.fs
  - Synchronous.fs
  - Synchronous.fsi
  - UserTypeAnnotations.fs
  - UserTypeLibrary.fs
  - UserTypeLibraryLoader.fs
- - AssemblyInfo.fs
  - CompileTimeColumnMap.fs
  - DocStrings.fs
  - InterfaceImpls.fs
  - ProvidedTypes-LICENSE.md
  - ProvidedTypes.fs
  - ProvidedTypes.fsi
  - Provider.fs
  - README.md
  - Rezoom.SQL.Provider.fsproj
  - TypeGeneration.fs
  - UserModelCache.fs
  - Watcher.fs
- - README.md
  - Rezoom.SQL.Provider.Postgres.csproj
- - README.md
  - Rezoom.SQL.Provider.SQLite.csproj
- - AttributesTests.cs
  - BasicTests.cs
  - ErrorTests.cs
  - InterfaceTests.cs
  - ProviderHarness.cs
  - Rezoom.SQL.Provider.Test.csproj
- - README.md
  - Rezoom.SQL.Provider.TSQL.csproj
- - Environment.fs
  - Program.fs
  - Rezoom.SQL.Test.fsproj
  - TestAggregateErrors.fs
  - TestAlterTable.fs
  - TestBlueprints.fs
  - TestCompositeReaders.fs
  - TestCTEs.fs
  - TestIdempotence.fs
  - TestLevenshtein.fs
  - TestManyPrimitives.fs
  - TestMigrations.fs
  - TestModel.fs
  - TestModelErrors.fs
  - TestNavProperties.fs
  - TestNullInference.fs
  - TestParserErrors.fs
  - TestPostgres.fs
  - TestPostgresSmoke.fs
  - TestPrimitiveReaders.fs
  - TestQueryParents.fs
  - TestReadWriteReferences.fs
  - TestRoundTrip.fs
  - TestRowTypesDeclarations.fs
  - TestSQLite.fs
  - TestStaticRowCount.fs
  - TestTQLSmoke.fs
  - TestTSQL.fs
  - TestTypeErrors.fs
  - TestTypeInference.fs
  - TestUserPrimitives.fs
  - TestUserPrimitivesCompiler.fs
  - TestUserTypeAnnotations.fs
  - TestVendorStatements.fs
- - Rezoom.SQL.Test.UserTypes.fsproj
  - UserInterfaces.fs
  - UserPrimitives.fs
- - test-tp-users.ps1
  - test-vs-build.ps1
  - TypeProviderUsers.sln
- Rezoom.SQL.sln
.deployment
.gitattributes
.gitignore
_config.yml
AGENTS.md
CHANGELOG.md
DEVELOPER_README.md
Directory.Build.props
Gemfile
LICENSE.txt
README.md
SUMMARY.md
version.props

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

**Documentation:** [Tutorial](https://fsprojects.github.io/Rezoom.SQL/doc/Tutorial/README.html) | [Using Rezoom](https://fsprojects.github.io/Rezoom.SQL/doc/Rezoom/README.html) | [Configuration](https://fsprojects.github.io/Rezoom.SQL/doc/Configuration/README.html) | [Language](https://fsprojects.github.io/Rezoom.SQL/doc/Language/README.html) | [UserTypes](https://fsprojects.github.io/Rezoom.SQL/doc/UserTypes/README.html) | [API](https://fsprojects.github.io/Rezoom.SQL/doc/API/README.html)

[Query playground -- try out the SQL dialect live!](https://rzsql.com/#1F854F9945C2061389778AE5DB98238E21D3A62B)

# Statically typed SQL for F#, new and improved for 2026 #

Rezoom.SQL is an F# ORM for SQL databases.

It integrates with the F# compiler via a generative type provider to statically
typecheck its own dialect of SQL. It knows how to translate this SQL dialect to
various backends. Currently it supports SQLite, SQL Server, and PostgreSQL.

The type provider makes it fast and easy to write SQL statements, run them, and
consume their results from your F# code with full type safety. You don't need to
install any editor extensions or custom tooling, just add a NuGet package and
you're off and running writing code like this:

![animated example usage to write queries](https://raw.githubusercontent.com/fsprojects/Rezoom.SQL/master/doc/ReadmeResources/Queries.gif)

## Database schema inferred from migration scripts

In order to typecheck your queries, Rezoom.SQL has to know your database schema
(so it can know, for example, that the `Id` column in the `Users` table is an
int). It learns the schema by reading your migration scripts and observing what
tables and views are created, columns added, and so on.

When developing the first iteration of your application (or a new feature with
its own migration script), it's easy to sketch out a model then go back and
change it as you code, without having to touch a real database until you're
ready to run.

Here's an example. You might want to refresh the page to start the GIF from the
beginning.

![animated example usage to write queries](https://raw.githubusercontent.com/fsprojects/Rezoom.SQL/master/doc/ReadmeResources/ModelChange.gif)

Because this is a generative type provider, it makes plain old .NET types you
can use from other languages. That is, you can write an F# project that uses
Rezoom.SQL and defines your migrations and queries, then reference that from C#
or VB.NET projects and use the generated query types with no problem in those
langages. There is even an option to represent nullable types with C#-style
`System.Nullable<T>` instead of `FSharpOption<T>` to make this scenario work
extra smoothly.

Check out the [query
playground](https://rzsql.com/#1F854F9945C2061389778AE5DB98238E21D3A62B) to see
what kinds of SQL you can write.

## The productivity of static typing

When you make schema changes -- for example, replacing `FirstName` and
`LastName` fields with a single `FullName` field -- it's comforting to know the
compiler will point out the queries you need to update.

The typechecker also tightens up the feedback loop, so you don't waste your time
tracking down typos and trivial SQL mistakes you'd normally only encounter at runtime.

Here are just a handful of possible errors you'll be informed of at compile time
and can fix in seconds. There are currently over 45 different error types that
can be detected at compile time.

### Mistyped table names

![example error on mistyped table name](https://raw.githubusercontent.com/fsprojects/Rezoom.SQL/master/doc/ReadmeResources/NoTableError.png)

### Incompatible data types

![example error on comparing string to int](https://raw.githubusercontent.com/fsprojects/Rezoom.SQL/master/doc/ReadmeResources/TypeMismatch.png)

### Selecting columns not included in a `GROUP BY` clause

![example error on selecting column not found in group by clause](https://raw.githubusercontent.com/fsprojects/Rezoom.SQL/master/doc/ReadmeResources/GroupByError.png)

## Flexible migration order for working in teams

Since Rezoom.SQL understands the language, it knows that some migrations like
`alter table X add column Y` and `alter table X add column Z` can be run in any
order and produce the same effects.

When you're working with a team, you can take advantage of this to add the
tables and columns you need for the feature you're coding, while your other team
members do the same for their features -- _without_ having to decide the **One
True Migration Order** when you merge.

See details [here](doc/Configuration/MigrationTrees.md).

# Integration with Rezoom

You can use Rezoom.SQL by itself, as in the example code above.

But as the name implies, it's designed to work with
[Rezoom](https://github.com/rspeele/Rezoom). When you use it with Rezoom, you can
take advantage of automatic caching and combine units of business logic to share round trips
to the database.

## Automatic batching

With Rezoom, you build up a `Plan` to represent a transaction, which may involve
multiple SQL commands (or web API calls, or other high-latency data manipulation).

If you have one `Plan` called `threeTrip` that makes 3 queries, and another
called `twoTrip` that makes 2 queries, you can choose whether to combine them
sequentially for 5 round trips to the database...

```fsharp
let sequential =
    plan {
        let! x = threeTrip
        let! y = twoTrip
        return (x, y)
    }
```

![sequential execution diagram](https://raw.githubusercontent.com/fsprojects/Rezoom.SQL/master/doc/ReadmeResources/SequentialExecution.gv.png)

Or concurrently, for 3 round trips to the database. The first two query batches
sent to the database will include pending queries from *both* `threePlan` and
`twoTrip`:

```fsharp
let concurrent =
    plan {
        let! x, y = threeTrip, twoTrip
        return (x, y)
    }
```

![sequential execution diagram](https://raw.githubusercontent.com/fsprojects/Rezoom.SQL/master/doc/ReadmeResources/ConcurrentExecution.gv.png)

## Automatic caching

Each statically typed query comes with some useful info for caching:

* A compiler-generated ID
* A boolean indicating whether it could make sense to cache (has no side effects, does not use rand(), newid(), etc)
* A bitmask of the tables it reads from
* A bitmask of the tables it writes to

Rezoom uses this cache info to avoid unnecessarily re-querying for the same data
during the execution of a `Plan` (i.e. within a transaction).

This means if you have 30 different functions that call
`LoadUserPermissions(currentUserId)`, only 1 query for permissions will actually
be run when you use those functions together in a transaction. Unless, of
course, you edit the permissions table during the course of the transaction, in
which case the cached result will automatically be invalidated and the
permissions re-queried next time they are requested.

This lets you safely check all the invariants you need for each method in your
domain layer, without fear of causing mountains of redundant queries, and
without any of the effort of writing your own caching layer.

## Get started

To get started using RZSQL, read the
[tutorial](doc/Tutorial/README.md). It'll get you
up and running in 5 minutes or your money back.

Rezoom.SQL

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

Rezoom.SQL

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

Download README