Acadia: un lenguaje para bases de datos con tipos precisos y migraciones verificadas

Rethinking Database Programming

Acadia es un nuevo lenguaje que busca llevar los beneficios de lenguajes como Elm a las bases de datos SQL. Permite definir tipos personalizados (como enums y tipos algebraicos) que se almacenan directamente, verificar migraciones en tiempo de compilación, y generar mensajes de error amigables. Además, integra tipos de extremo a extremo entre cliente, servidor y base de datos. Actualmente en fase alfa pública, soporta Elm y Haskell, y compila a SQL optimizado para SQLite y PostgreSQL.