問題タブ [criterion]

いくつかの条件に従ってプログラムでフィードされるリストがあります。コードは次のようになります。

そして、基準を構築するとき、私はこれを行いました：

クエリ文字列の where 句は次のようになります。

((A または B) AND (B または C))

構築された句に And があるため、結果の一部が表示されていません

レコードR1、R2、R3があるとしましょう

R1 は条件 A と C を満たします R2 は条件 A を満たします R3 は条件 B と C を満たします

したがって、(A または B) には R1、R2 があり、R3 (B または C) には R1 および R3 があります。

両方の条件が AND でバインドされているため、R2 は最終結果から除外されています。

where句を次のようにするにはどうすればよいですか：

(A または B または C)

そのため、少なくとも 1 つの条件を満たす場合にレコードを表示できます。

ありがとう。

単純なスタック プロジェクトと、ベンチマーク テスト用の .cabal エントリをセットアップしました。

ただし、実行後stack bench、次のエラーが発生します。

何か不足していますか？

編集: プロジェクトをgithub リポジトリにアップロードしました

プログラムが 12.9MB の.wavファイルをメモリに読み込むのにかかる時間を知りたいです。ファイルをメモリに読み込む関数は次のようになります。

ファイルの名前を取得し、サンプルをByteString. また、データに対してその他の有効性チェックを実行し、ヘッダー情報を無視します。ByteStringを使用してサンプルの をメモリに読み込みましたByteString.hGet。

この関数を 12.9MB のファイルでベンチマークすると、次のようになりますCriterion。

次の結果が得られます。

3.617ms で 12.9MB をメモリにロードするようです。これは、私の SSD が 3+GB/s を読み取ることができることを示しているため、現実的ではないように思われますが、これはまったく当てはまりません。私は何を間違っていますか？

時間差を手動で測定することにより、これを別の（より単純な）方法で試すことにしました。

これにより、次の結果が得られます: 0.023105s。私のSSDが約600MB /秒の速度で読み取ることができることを意味するため、これは現実的です. 結果のどこが悪いのCriterionですか？