Acadia bringt Elm-typisierte Datenbankprogrammierung mit verifizierten Migrationen

Rethinking Database Programming

Acadia ist ein Compiler, der die Vorteile von Sprachen wie Elm auf SQL überträgt. Er bietet präzise Typen, verifizierte Migrationen und freundliche Fehlermeldungen. Tabellen und Endpunkte werden in Elm oder Haskell definiert und zu optimiertem SQL kompiliert. Die öffentliche Alpha ist verfügbar; Unterstützung für weitere Sprachen ist geplant.