メッセージ。 - 変数とは何か、箱モデルは有害か

http://hirofummy.net/himo/index.cgi?1113716234.txt

hirofummyさんの文章を読んでいて、何かひらめいた気がした。変数ってのは、値を抽象化するものなんだ。変数は、数学におけるxとかyと同じなんじゃないか？ 数学においてxやyを箱で説明することは適切か？ たぶん適切ではない。それと同じだけ、プログラミングにおける箱モデルは不適切なんじゃないか？

変数は、箱というよりむしろ名前に近い。概念にラベルを付けて扱いやすくするためのものだ。たとえば、コンビニのレジでお客さんに買物をしてもらう例を考えてみる。ハリソン・フォードがレジにやってきた。手には少年ジャンプを持っている。ハリソン・フォードはレジでおでんを注文した。店員は少年ジャンプとおでんをレジに打つ。店員は合計金額をハリソン・フォードに伝える。ハリソン・フォードは伝えられた金額を支払う。店員は少年ジャンプとおでんをハリソン・フォードに渡す。

これがコンビニのレジ業務を表したモデルだ。もしジョディ・フォスターがアンアンとショートホープを買った場合でも同様に処理できる。出川哲郎がエッチ本とトイレットペーパーを買いに来たときも同様だ。誰が来たとしても同じに処理できる。これは、現在の小売業が、商売のモデルを「客」と「店」に単純化しているからだ。「現金掛け値なし」となる前の商売モデルでは、もっと複雑なプロセスが必要になっただろう。まそれはいいとして。

コンビニのレジモデルでは、ハリソン・フォードやジョディー・フォスターを「客」として扱うから処理の手間が省ける。システムは客というものを定義することで単純に記述できるようになる。客ははたして「箱」で表現できるだろうか？ できはしない。「出川を箱に入れて」というのは絵的にアリだが、「ハリソン・フォードを箱に入れて」というのは、どうしても違和感がある。

変数に値を入れる、変数を評価するというのは、抽象を具象に適用することなんだ。