Acadia: Bringing Elm's Type Safety to SQL
Rethinking Database Programming
Acadia is a new programming language that compiles to SQL, aiming to bring the benefits of Elm-like languages to database programming. It offers precise types, verified migrations, friendly error messages, and end-to-end type safety between client, server, and database. The public alpha is now available, with support for Elm and Haskell.
I have not been this enthusiastic about my language work since the 2012-2014 days with Elm, and I am excited to see what you make with this early version of Acadia!