Acadia：Elmライクな型安全性をSQLデータベースにもたらす

Rethinking Database Programming

Acadiaは、SQLデータベースにElm言語の利点をもたらす新しいプログラミング言語です。より精密な型、検証されたマイグレーション、親切なエラーメッセージ、エンドツーエンドの型共有を実現します。テーブル定義はElm風の構文で行い、クエリはmapやfilterなどの関数型プログラミングで記述します。コンパイラがSQLを生成し、最適化も行います。現在はElmとHaskellの統合をサポートし、公開アルファ版がリリースされています。