These are chat archives for scalajp/functional

24th
Apr 2015
eugene yokota
@eed3si9n
Apr 24 2015 18:11
scalaz stream の結合則が壊れてるらしい件によって今後これが変わる可能性もあり?
kenji yoshida
@xuwei-k
Apr 24 2015 18:12
結合則壊れてる(?)件、そもそも例外扱ったりするから、今の設計じゃ根本的に満たすの不可能なのかなんなのか、よくわかってない
eugene yokota
@eed3si9n
Apr 24 2015 18:13
永遠に続くものをそもそも finalize するのは可能か問題?、僕もよく分かってないです
kenji yoshida
@xuwei-k
Apr 24 2015 18:21
こういう関数を保持したオブジェクトの結合則を満たすテスト、Scalacheckじゃ完全に力不足(Coarbitraryがないので)だし、Coarbitraryあっても、そもそも再帰的定義によりArbitrary生成自体が難しかったり、かなり気をつけてインスタンス生成しないと大きくなりすぎてメモリやCPU消費し続けて終了しなくなったり、stackoverflow起こすし、
Haskellのsmallcheckを真面目に移植するか、テスト諦めて証明するか、という方向になるしかない気がしてつらい
FP in Scalaの例のほうが単純だから、あれのMonad則のテストやろうとしたら、簡単にstackoverflowして無理だったりしたな・・・
eugene yokota
@eed3si9n
Apr 24 2015 18:24
証明お願いします