pokarim @pokarim dict とか map みたいなやつは、キーが無かったときのデフォルト値必須にしたほうが、きれいっちゃきれいだよね。 2017-07-29 12:09:16 pokarim @pokarim 適切なデフォルト値がなかったときは Option の None をデフォルト値にすればいいし、そしたらどんな値でも Option でくるんで返すメソッドは必要なくなるし、キーの削除もデフォルト値をセットすれば済む。 2017-07-29 12:12:42 pokarim @pokarim 値の更新も、Map 同士の和や差をとる操作があればそれで済む。Map[Hoge, Int] + Map[Hoge, Int] => Map[Hoge, int] みたいなやつが典型的だけど、大抵のデータ型に和や差は自然に定義できる。 2017-07-29 12:17:43
![Map の代数的構造と差分によるプログラミング](https://cdn-ak-scissors.b.st-hatena.com/image/square/d68cdeed0d72cfd0a9a52ffe84f049db82aee513/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2F89aff8ee992e162d3e1e4c6d17b40075-1200x630.png)