回合到最接近的整数

Question

Haskell中有关于round函数的官方规范吗？在GHCI 7.0.3版我看到以下行为：

ghci> round (0.5 :: Double) 
0 
ghci> round (1.5 :: Double) 
2 

由于两个0.5和1.5表示的是完全一样的浮点数，我期望看到相同的行为在Python：

>>> round(0.5) 
1.0 
>>> round(1.5) 
2.0 

有差异的理由，还是GHCi的怪癖？

Answer 1

它在说明书中。你可以看到它在部分6.4.6的the Haskell report：

round x最接近的整数返回到x，偶数整数如果x是 两个整数之间的距离相等。

正如@dflemstr所指出的，这是根据IEEE Standard for Floating-Point Arithmetic。