Sequoia
A type-safe query builder for OCaml that enforces SQL correctness at compile time using the OCaml type system.
What is Sequoia?
Sequoia is a type-safe query builder for OCaml that leverages the OCaml type system to ensure SQL query correctness at compile time. It prevents common errors by only allowing fields from tables referenced in FROM or JOIN clauses, enforcing joins via declared foreign keys, and ensuring expression type compatibility. It provides a composable, functional API for building SELECT, INSERT, UPDATE, and DELETE queries with drivers for MySQL/MariaDB and SQLite.
OCaml developers building database-backed applications who prioritize compile-time safety and want to avoid runtime SQL errors. It is particularly suited for teams requiring strict validation of database schemas and query logic.
Developers choose Sequoia for its deep integration with OCaml's type system, which catches SQL errors at compile time rather than runtime. Its unique selling point is the referrer validation mechanism (via Skip/There or an optional PPX syntax extension) that ensures fields are only accessed from tables already joined in the query, enforcing correct join relationships through foreign keys.
Overview
OCaml type-safe query builder with syntax tree extension
Use Cases
Best For
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
