Podobne Haskell listowych z różnymi wynikami

Question

ja nie rozumiem, dlaczego te dwa podobne listowych dać różne wyniki:

Prelude> let t2s n= [ 1/(2*i) | i <- [1,3..n]] 
Prelude> t2s 0 
[0.5] 
Prelude> let t2s n= [ (2*i) | i <- [1,3..n]] 
Prelude> t2s 0 
[] 

Spodziewałem się zarówno do powrotu [] na argumencie 0. Muszę tęsknić za czymś głupim ?!

Answer 1

Ma to związek z faktem, że

enumFromThenTo 1.0 3.0 0.0 

ocenia się [1.0]. Specyfikacja enumFromThenTo dla Floats znajduje się w sekcji 6.3.4 z http://www.haskell.org/onlinereport/haskell2010/haskellch6.html.

Answer 2

Przede wszystkim zmieniłem nazwę pierwszego t2s na , aby móc załadować oba jednocześnie do ghci. Spójrz na uzyskanymi typów dla każdego z nich:

[ts.hs:2:1-33] *Main> :t t1s 
t1s :: (Enum t, Fractional t) => t -> [t] 
[ts.hs:2:1-33] *Main> :t t2s 
t2s :: (Enum t, Num t) => t -> [t] 
[ts.hs:2:1-33] *Main> 

Zauważ, że t1s zajmuje Fractional argumentu natomiast t2s zajmuje Num. Oznacza to, że w t1s 0, 0 jest rozumiane jako Double. Z drugiej strony interpreter podaje 0, aby być Integer w t2s 0. Ponieważ rodzaj używany do argumentu różni się, zachowanie może się różnić w bardzo zaskakujący sposób. W szczególności należy pamiętać o używaniu tylko typów Integral podczas wymieniania listy, jak w przypadku [1,3..n].

Aby to naprawić, wystarczy podać jawne podpisy typów dla obu funkcji.