From: gotoken@... (GOTO Kentaro)
Date: 1999-12-09T16:51:30+09:00
Subject: [ruby-list:19327] Re: オブジェクトの代入について

ごとけんです

In message "[ruby-list:19326] Re: オブジェクトの代入について"
    on 99/12/09, Shugo Maeda <shugo@netlab.co.jp> writes:
>問題は"foo"というStringオブジェクトはたくさんあるけど、1という
>Fixnumオブジェクトは世界に一つしかないということだと思います。
># だからFixnumがmutableだと困る。
>
>で、ごとけんさんの
>
>> ところで言語的にその辺こだわるなら、数値はすべて即値にすると
>
>というのは、1000000000000000000000というBignumオブジェクトがたく
>さんある(Fixnumの場合はそうでないのに)のが気持ち悪いということで
>はないですかね。

解説どうもです ^^;; まさにそういうことが気になってるです。

>このあたりの仕様はモデル的にきれいだということよりも、効率が重視
>されているような気はしますが、「計算機言語なんだからそれでよいの
>だ」というのが私の考えです。

前田さんのまとめをさらにまとめると、

 * Integerは即値なFixnumを含むので全部をmutableには出来ない。
 * Numericに即値性を要求しないのは計算機言語として自然。

という感じですか。とするとここで自然さを主張する計算機言語の
性質の由来はなんでしょうね。閉じた記号処理系では扱えない開い
た世界(IOやProcessや時計なんか)も扱えるとか、コンテナみたい
に「状態」を持つと考えるのが自然なオブジェクトの存在とかかな。

# だんだん、代数系とオブジェクト系の両方をきちんと言語という
# のはできるような気がしてきた。実際すでにそういう試みはうち
# の近所にもあるんだけど。
# http://seki.math.hokudai.ac.jp:20080/noname/index.html?1

-- gotoken