[ruby-dev:8262] Enumerable, Comparable (Re: [ruby-list:18468] Re: Array doesn't include Comparable)

福間@福岡 です。

記事 <[e-mail]> にて、
[e-mail] さんは書きました:

> やっぱり(?)Enumerable#<=> があるのは何か変な気がしますし、メソッドと
> モジュール名を見た時にEnumerableとComparableの違いがなんかすっきりし
> ないです。

Enumerable#<=> というメソッドは無いと思いますが、それはおいといて。

> Enumerableはeachをもとにしたメソッドのみを対象にすべきではないかと思
> います。で、Comparableは<=>をもとにしたメソッドのみで構成する方が使う
> ときにも単純ではないでしょうか？
> 
> 具体的にはEnumerable#max,min,sortはComparableへ移った方がいいような気
> がします。で、Enumerable#first,lastがあると良いかなぁと、、、

例えば数(Numeric)は大小を比較できます(Comparable)が、
Comparable#max というメソッドがあったとして、

  1.max

は「最大」のなにを返すのでしょう?


Enumerable は

  その「モノ」の構成要素を列挙することができる

# 「列挙」の方法は each というメソッドで定義する。

という性質であって、

  その「モノ」を、他の「モノ」といっしょに集めて列挙することができる

ではありません。一方 Comparable は

  その「モノ」と、他の「モノ」との「大小」を比較することができる

# 「大小」の意味は <=> というメソッドで定義する。

という性質であって、

  その「モノ」の或る構成要素と、他の構成要素との「大小」を比較することが
  できる

ではありません。


Enumerable#max などは

  その構成要素の全てがComparableであるEnumerableなモノ

に対して(本当はちょっと違うけど)使うことができるメソッドです。例えば

  - 「(有限)集合」は、その構成要素を列挙することができる(Enumerable)
  - 「整数」は、他の「整数」と「大小」を比較することができる(Comparable)

ですから、「整数の集合」から

  - その構成要素のうち「最大」のモノを得る(max)
  - その構成要素を「小さい」ほうから順に並べた配列を得る(sort)

といったことができます。

「色の集合: {赤, 青, 緑, 白}」は、(このように)その構成要素を列挙する
ことができますが、この中から「最大のモノ」を得ることは(一般的には)
できません。なぜなら、この集合の構成要素である「色」は、「大小」を
比較できるモノではないからです。

# で、配列というのが「大小」を比較できるモノなのかどうかは、…難しい
# 問題なのでパス(^^;

---
 Yasuhiro Fukuma (福間 康弘) as Yasu.F @ Kitakyushu.Fukuoka.Japan
 Web site: http://www8.big.or.jp/~yasuf/
 PGP fingerprint = 17 25 8A F3 99 E5 7E 19  C0 EA 6E 03 8A C3 CE F0
 “I hate AMERIKA-JIN.”