Macaque

Macaque is a domain-specific language (DSL) for constructing SQL queries in OCaml, designed to provide type safety and compositional flexibility. It enables developers to write database queries using a comprehension-based syntax that minimizes runtime errors by leveraging OCaml's type system.

Key Features

• Type-Safe Queries — Uses expressive phantom types to catch errors at compile time, reducing runtime failures.
• Compositional Design — Queries and views are built to be highly reusable and composable, supporting complex query construction.
• Comprehension Syntax — Provides a readable, comprehension-based syntax (<:view< ... >>) for defining SELECT, INSERT, UPDATE, and DELETE operations.
• SQL Integration — Supports standard SQL features like GROUP BY, aggregates, LIMIT/OFFSET, and UNION/INTERSECT/EXCEPT operations.
• Null Safety — Explicitly handles nullable types with Sql.get and Sql.getn to enforce proper null handling.
• View Abstraction — Treats SQL tables, views, and subqueries as first-class, composable view objects.

Philosophy

Macaque prioritizes compile-time safety and composability, aiming to eliminate runtime SQL errors through rigorous typing while maintaining the expressiveness of raw SQL.