やったこと

評価

したくないしされたくない。
そういう思いで生きている。

Scala

こんなものがあることに気付いた。

https://hackage.haskell.org/package/quickcheck-higherorder

アプローチは同じっぽいのだけど、なんか表示が無駄に凝っている。
あと謎に抽象化されているのでHedgehogでも動作するっぽいけど、Integrated Shrinkingとは協調してないと思う。

こういう表示の方が本質的かなぁ、と思いつつも、これが見易いかは微妙だよなぁと思う。

やっていき。