2015の3日目の記事です。2つのアンコール」でした。秋も過ぎ去り、12月に入って冬の訪れを感じる今日このごろ、皆さまはどうお過ごしでしょうか。冬と言えば、食べ物が美味しい季節だったりしますね。非公式ドキュメントと銘打って、もう少しだけ実践的な使い方を説明します。製のテスティング・フレームワーク、およびその周辺プロダクト群です。コンピュテーション式でテストを書けること、アサーションが失敗してもテストを最後まで実行できること、などの特徴があります。モジュールをオープンすることで、テスト名の書き方を簡略化できます。した状態で使うことが多いです。その他、パラメタライズド・テストや例外のテストもできます。テストの実行方法などを含め、公式ドキュメント(上記リンク)をご一読ください。系のテスティングツールであり、性質(プロパティ)を記述することでランダムな入力に対し性質を確認するテストが実行できます。同じように、コンピュテーション式でテストが書けます。}干し柿にも公式ドキュメント(上記リンク)がありますが、今回はそこに載せきれていない内容を中心にご紹介いたします。型の引数を2つとる述語関数にランダムなパラメータを渡します。組で定めた引数に対応します。型のリストを表します。型のリストが渡されてきます。ついて(初級編)干し柿では、引数候補はかなり柔軟に指定することができます。ようなコレクション型も指定できます。同じような雰囲気で使えばいいと思います。使っていく中で、もうちょっときめ細かく引数候補を生成したくなる場面が出てくるかもしれません。利用することができます。3つの値(ラベル)を持つレコード型です。値の生成を担っている箇所なので、ここをうまく調節することで期待する結果を導きやすくなります。型の値を扱う便利な関数がたくさん定義されています。以下に一例を挙げてみます。