Type-Safe JDBC: Schema-First Native SQL in Java

This project explores schema-first, native SQL as a JDBC-enabled sublanguage in Java. The goal is to eliminate lossy intermediate subsystems (ORMs, DSLs) without sacrificing Java’s static type-safety guarantees. You write native SQL inline, bind parameters safely, and get fully typed results.

Under the hood Manifold’s compiler plugin synthesizes schema and result types on demand and validates queries at compile time.