Haskell:表达式[0,0.1 .. 1]的意外输出

Question

在评估表达式时:

*main> [0, 0.1 .. 1]

我其实在期待:

 [0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1]

但是看到输出结果我感到非常震惊

[0.0,0.1,0.2,0.30000000000000004,0.4000000000000001,0.5000000000000001,0.6000000000000001,0.7000000000000001,0.8,0.9,1.0]

为什么Haskell在评估时产生了这个结果？

Answer 1

这是浮点值不精确的结果,并不是Haskell特有的.如果您不能处理浮点固有的近似值,那么您可以以高性能成本使用Rational:

> import Data.Ratio
Data.Ratio> [0,1%10.. 1%1]
[0 % 1,1 % 10,1 % 5,3 % 10,2 % 5,1 % 2,3 % 5,7 % 10,4 % 5,9 % 10,1 % 1]

只是为了重点回家,这里是Python:

>>> 0.3
0.29999999999999999

这是C:

void main() { printf("%0.17f\n",0.3); }

$ gcc t.c 2>/dev/null ; ./a.out
0.29999999999999999