代数的データ型を使用するHaskellデータベースはありますか？

Question

私は暇な時間にハスケルでボキャブラリートレーナーをプログラミングしています。

私はエントリが

Word { _frq=1 
    , _fra="le" 
    , _eng="the; him, her, it, them" 
    , _deu="der,die,das; er,sie,es" 
    , _uses=[Determiner [], Pronoun []] 
    , _phrase=" vive la politique, vive l'amour" 
    , _sentence="long live politics, long live love" 
    , _satz="Lang lebe die Politik, lang lebe die Liebe." 
    } 

ほとんどの場合、ドイツ語翻訳_deu=と_satz=が最も頻繁に私が更新したいだけの空の文字列であるように見える代数的データ型としてモデル化された単語を使用してファイルを持っていますプログラム内。

私はいくつかの質問があります： 1. haskell用のHaskellデータ型を使用しているデータベースがありますか？ 私が見つけたのは、MySQLなどとのHDBCバインディング、その他のxml/JSONのものでした。

1. データベースを使用する代わりにファイルを更新すると、プログラム全体を再コンパイルする方法があるのですか？少し面倒です。これを並べ替える - 私は、この言葉の知識を示す番号を更新し、各学習段階のように、頻繁に更新する必要があるデータ構造で学んだ語彙を保存したい

と3番目の質問

挿入中またはその後のデータ構造。次に、このデータ構造内の位置に基づいて新しい単語を選びます。リストは、完全なリストのトラバースを行うために非効率的であるように見えます。ソートは、より良い解決策があれば大きな努力です。 最後に私は5000リストエントリしか持っていないので、おそらく間違った場所で速度について心配ですか？

Answer 1

データベースに関しては、Acid-Stateをご覧ください。ハッシュスタッククラッシュコースの一環として、a tutorialもあります。

モデルの型の安全性を維持するという点で、あなたが求めることはありますか？私はhereとhereを含むいくつかのウェブアプリケーションで使用するようにしました。（その2つ目は、MongoDBに対するHDBCのベンチマーク試行の一部ですAcidStateを使って、HaskellのWebアプリケーションの中でどのように実装方法を比較するかを見ることができます）。

3番目の質問には、5000個の挿入/読み取りで、のはパフォーマンスを心配する必要はありません。 those benchmarks I mentionedを見ると、「大きい」ベンチマークでは、（比較的小さい）50,000件のトランザクションが非常に短時間で実行されます。

Answer 2

チェックアウトイェソドからPersistent：

永続データへのイェソドの答えでは、Haskellのためのタイプセーフ、ユニバーサルデータストア・インタフェースをstorage-。

[...]まだながら

永続的には、私たちは、非常に異なるデータ・ストレージ・ユースケースのために調整されている既存のデータベースの中から選択する他のプログラミング言語との相互運用性、そして安全かつ生産クエリインターフェイスを使用することができるようになりますHaskellデータ型の型安全性を維持します。

永続性は、型の安全性と簡潔な宣言構文の基本原則に従います。