fixedpoint.jp - Min with NaN




Min with NaN

Ypsilon のサイトに報告されている Issue 108 で、(min 0.0 +nan.0)(min +nan.0 0.0) の値が異なるということを知りました。それぞれ +nan.0 および 0.0 になります。

果たしてこれは R6RS に沿っているのかということを調べてみました。しかし、どうも規定されている内容で根拠になりそうなものは見つけられませんでした。関連する情報は以下のとおりです:

他の実装と比べると、Gauche でもこの2つの式の値が異なります(が、+nan.0 を返す場合と 0.0 を返す場合が逆です)。Mosh はどちらの値も +nan.0 です。


© 2006-2010 Takeshi Abe