2015-02-13

たまにはハッカソンもいいかなと思って参加してみました(噂の rpscala に参加してみたかったというのもある)。

で、当日は scalacheck をいじっていたコードがようやくテストに通るようになったので書き残しておきます。

注意事項

この記事のコードは pull request を送るつもりはないので、そのことを認識して読んでください。

今のところ scalacheck を fork して別プロジェクトとして育てるつもりもないです。

基本方針は "いらないものを消す" です。

現時点でできたのは R を消すまでです。

2015/02/12 時点の scalacheck の master ブランチは Windows 上ではそのままだとビルドできません。クロスコンパイルのためのコード共有を、Windows で認識できないシンボリックリンクで行っているためです*1。

対処法は sbt-scalajs の要求にあわせてディレクトリ構成変えたり設定変更した程度です。

これに関してはハッカソンの数日前に作業してました。

quickcheck 系でデータの生成に失敗することはそうそうないので、 Option を返さないようにしました。

…が、ここで suchThat メソッドの実装でスタックオーバーフローしたり無限ループに陥ったりして、全然進まず。結局当日の進捗は駄目でした。

後日、よく考えたら一部実装の変更に伴い suchThat を呼び出すべきではない部分を発見したので、これを削除したら動くようになりました。

R trait は Gen 用のラベルや sieve を持っているのですが、これもいらないだろうということで削除。

scala.util.Random から別のものに差し替えたいな、と思って依存関係だけ設定したのですが、作業できずじまい…。

CoArbitrary を自前実装してしまったので、消すのも変だなと思い残してます。

値が生成できるまでがんばってしまうので、多少実行速度が劣化したような感覚… filter や suchThat のご利用は計画的に。

rpscala は懇親会も含め楽しかったです。

*1:Windows にもシンボリックリンク自体は存在した気がする