やったこと

Scala楽しい

Scala書くの楽しいので無限にScalaを書いていたい。

とりあえずLeanCheckの論文に目を通した。LeanCheck自体のモチベーションとか、他のライブラリ(SmallCheckとかFEAT)の様子が何となく理解できたので良い。

あとnon氏(spireの作者)のkroneckerというライブラリが気になっている。が、難しそうなのと開発中な雰囲気なので触れる勇気が湧かない。

ひとまずLeanPropsが完成しそうな気がするのでどこかで発表したい。いい感じのScala勉強会とか無いかな〜。

矛盾

ときどきこういうコードを書きたくなる。

with (((value = false) => ({get contradiction() { return value = !value; }}))()) {
  console.log(contradiction === true && contradiction === false);
}

withは便利。