A gradual, semantic SQL authoring DSL with Python-style syntax, type constraints, and SQL generation.
// readme
Pietto
Readable, typed SQL authoring with deterministic compilation and fail-closed guardrails for hand-written or AI-generated Pietto programs.
Pietto is a small, typed language for writing SQL queries. It reads like
Python: blocks use : and indentation, and None, True and False mean
what they mean in Python. pietto check reports unknown fields, type errors
and aggregates that a JOIN could count twice before any database sees the
query, and pietto emit-sql writes plain PostgreSQL or MySQL SQL that you run
with the tools you already use. An unsupported or unproven query shape is an
error, never guessed SQL. Pietto checks the program, not the intent or the
data in your database: review the emitted SQL and validate its results for
your deployment.
The compiler has no runtime evaluation, database connection, transaction
management, scheduler, or arbitrary I/O language features. The compiler and
the pietto command never connect to a database; database access is
available only from the explicit alpha Python API described below.
Status
Version 0.1.11, public alpha. Pietto is pre-release. Before 1.0 a release may carry breaking changes: it lists them at theβ¦