2017年10月3日のブックマーク (1件)

  • Map の代数的構造と差分によるプログラミング

    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 の代数的構造と差分によるプログラミング