ruby-dev

(2010/03/27 21:46), EGUCHI Osamu wrote:
> えぐち＠エスアンドイーです
>
>
> 2010年3月27日21:01 NARUSE, Yui<naruse@airemix.jp>:
>> (2010/03/27 20:26), EGUCHI Osamu wrote:
>>> 2010年3月27日19:14 NARUSE, Yui<naruse@airemix.jp>:
>>>> よって、String#to_f についてはえぐちさんの指摘は当たらないと考えます。
>>> String#to_f については '.’ + メソッド との整合性は必須でないので、
>>> 上記の論点は正しいと思います。
>>>
>>> ただ、浮動小数点リテラル表現と String#to_f は同じであろうと
>>> 期待するのはかなり自然なことではないかと思います。
>>> ＃驚き最小の法則
>>
>> こちらは、一貫性と利便性が衝突する事例という話だと思います。
>>
>> で、現在同じかというと "10".to_f のような 10 進整数はすでに異なっています。
>> また、エッジケースを攻めると 4._9 はエラーになるが、
>> "4._9".to_f は 4.9 を返すというような例もあります。
>
> この挙動は厄介です。
>
> Float(”4._9”) ではまた別のエラーになったりします。
> どうあるべきだったのかについては明確な論点を持ってません。
> ただ、小数点とメソッド呼び出しが曖昧になるケースという意味で
> 今回の議論と同根だと思います。
>
>> 結局、制約の強いリテラルと、文字列を解釈するのでは条件が異なるわけで、
>> 「Ruby のリテラルとして浮動小数点数として解釈されるならば、
>> String#to_f でも解釈されるべき」は尊重されるべきだと思いますが、
>> その逆は必ずしも成り立つ必要はないと思います。
>
> それも踏まえて、、
>
> Rubyリテラル表現としても使える表現形式を模索してからでも
> 遅くないように思えます。

踏まえるとなぜRubyリテラル表現としても使える表現形式を模索することに
なるのかがよくわかりません。

推測するに、前段とは独立に、よりよい形式が現れた際に今回の形式との互換性に
縛られることを懸念しているのではないかと思います。

で、mame さんに教えてもらったのですが、IEEE 754:2008 の draft に、
今回の形式と浮動小数点数との変換を求める規定があるそうです。

   7.12.2 External hexadecimal character sequences representing finite numbers

   Implementations supporting binary formats shall provide conversions between all
   supported internal binary formats and external hexadecimal character sequences.
   External hexadecimal character sequences for finite numbers are of the form
   specified by ISO/IEC 9899, Programming Languages – C (C99) subclauses:
     6.4.4.2 floating constants,
     20.1.3 strtod,
     7.19.6.2 fscanf (a, e, f, g), and
     7.19.6.1 fprintf (a, A).

IEEE 754:2008 draft 1.2.9, 27 January 2007
http://www.validlab.com/754R/nonabelian.com/754/comments/Q754.129.pdf

Ruby は IEEE 754 に準拠しようという気はなかったはずなので、
この規定を守るいわれはありませんが、今後 IEEE 754:2008 をサポートしよう
という環境はこの形式の出力を行うことになります。
なお、C 言語 以外だと Java は　1.5 でこの形式をサポートしているようです。

というわけで、既にメジャーな 2 言語によってサポートされ、今後もサポート
する言語は増えることが予想されるので、リテラルとは独立にサポートして
いいのではないかと思います。

-- 
NARUSE, Yui  <naruse@airemix.jp>

Thread

Prev Next

In This Thread

Prev Next