タグ

Perlとscalaに関するcooldaemonのブックマーク (1)

  • 比較はモノイド - akihiro4chawonの日記

    比較モナドについて考察されている一連のエントリに感銘を受けて、私も比較について考えてみました。 比較モナド - terazzoの日記 続・比較モナド - terazzoの日記 続・続・比較モナド〜復讐編〜 - terazzoの日記 まず、考察対象として「比較結果」と「比較操作」に分けて考えます。比較結果というのは、比較後に返ってくる値(例:Java の Comparator の compare における 負・零・正)を言います。比較操作というのは、比較する関数(あるいは関数オブジェクト)自体(例:Java の Compartor 自体)を言います。 比較結果モノイド 比較結果というのは、2つの比較対象に対して、その片方が他方よりも「小さいのか」「等しいのか」「大きいのか」を示す値です。例えば、Perl の 比較演算子 <=> や Java の Comparator において、左辺が小さいこ

    比較はモノイド - akihiro4chawonの日記
    cooldaemon
    cooldaemon 2011/09/29
    Monoid とか Semigroup の説明。非常に解りやすい。
  • 1