Acadia brings Elm-style typed guarantees to SQL: verified migrations, end-to-end types
Acadia is a new public-alpha, Elm-inspired database programming language that type-checks your SQL: expressive custom types, compiler-verified migrations, friendly errors, and one type shared end-to-end from database to client (Elm and Haskell integrations today). It's aimed at making live migrations and hand-written type mappings feel less like gambling.