[ruby-dev:1020] Re: ruby 1.1b1 released

in message-id: <[e-mail]>
[e-mail] (Yukihiro Matsumoto) writes:

> |  # 全ての正規表現は暗黙の内にグループ化されている....べつに \1 なんか
> |  # で参照できなくてもいいわけですが. というか, 勝手に参照できちゃうと
> |  # 困る.
> 
> では新正規表現の/(?:foo|bar)baz/を使いますか．なんか大変です
> ねえ．

  グループ化と後方参照用のマーキングとで記号がかぶってるのが悪いんです
  よね....そのための (?:), でしたっけ?

  # オートマトンの正則表現がどうしても頭から離れないのでついその調子で
  # 考えてしまう....

> |破壊的な succ! と「Fixnum の参照を取る操作はコピーを返す」で ++ の
> |導入を認めさせられないかを考察中 (^^;
> 
> 破壊的なsucc!は「あっても良いかな」と思っています．succの書
> き換えを構想していますので，その時に採用される可能性大です．
> 
> ++はオブジェクト的な意味をきちんと定義できれば採用というのが
> 以前からの公言ですよね．変数をオブジェクトでないRubyでは難し
> いだろうというのが私の読みなのですが．

  シンボルはオブジェクトではないのだから, 当然代入はメソッドではない.

  で, この代入の意味を「右辺のオブジェクトの参照を取って, 左辺のシンボ
  ルに束縛する操作」とする. また参照を評価すると参照されるオブジェクト
  の実体が返るものとする.

  Fixnum の参照を取る操作は新たなオブジェクトの実体を返すことにする.
  つまり `a = 1' とした場合, a には新たな 1 の実体が束縛される. で,
  Fixnum#succ! が定義されていれば, a.succ! を実行してもほかの 1 は変化
  せず, a に束縛された 1 だけが破壊的に更新され 2 になる....

  .... `1.succ!' が問題無い理由にしかならないですね. いまいち.

  # 「a = a.succ の省略形を a++ と定義する」ってのと結果的には全然変わ
  # らないあたりがしょうもない.

ああああさぼってると何も終わらない....
===========================================================================
  柳川 @ 情報システム学研究科 . 電気通信大学
  [e-mail]                            December 10th, 1997.  
# Haste makes waste.