// 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…