Problemas con los decimales

[matifreyre]

Consultar esto en una terminal:

*Library Library> sum [0.1,0.4,0.2,0.1]
0.7999999999999999

Eso hace que falle, por ejemplo:

*Library Library> even . (10*) .sum $ [0.1,0.4,0.2,0.1]
*** Exception: Se esperaba un valor entero pero se pasó uno con decimales
CallStack (from HasCallStack):
  error, called at src\Number.hs:11:39 in pdeprelude-0.2.0.0-HW3vOnRVEsIAEq5rLh4iQT:Number

Esa cuenta debería dar 8, y even no debería tener problemas, pero da 7.999999999999999 y rompe el uso de even.

[matifreyre]

Más acotado:

*Library Library> 0.1
0.1
*Library Library> 0.7
0.7
*Library Library> 0.7 + 0.1
0.7999999999999999
*Library Library> 0.2 + 0.1
0.30000000000000004
*Library Library> 0.2 + 0.2
0.4
*Library Library> 0.2 + 0.3
0.5
*Library Library> 0.2 + 0.4
0.6000000000000001
*Library Library> 0.2 + 0.5
0.7
*Library Library> 0.2 + 0.6
0.8
*Library Library> 0.3 + 0.3
0.6

[JuanFdS]

Ohhh. Hay un par de cosas que se podrían pensar, con sus pros y sus contras:

• Usar un tipo que no sea Double que no tenga esas perdidas de precision, como Ratio Int. La contra es que Ratio Int no es de la typeclass Floating así que por ej no puedo hacer (sqrt 2) con un 2 que sea Ratio Int.
• Usar un tipo que redondee ante cierta cantidad de decimales. En ese caso si algo daría 0.99999999999...., se convertiría en 1. A favor, no habría que cambiar casi nada, y los alumnos de todos modos no van a necesitar tanta precisión para ningún ejercicio (?. En contra, me suena un poco atado con alambre eso así que tal vez hayan problemas que no se me ocurran ahora. Acá por ej. hay una librería que implementa un tipo de dcimales hasta 9 posiciones y si hay más redondea: http://hackage.haskell.org/package/decimal-arithmetic-0.5.1.0/docs/Numeric-Decimal.html#t:RoundHalfUp Eso podría solucionar este problema creo

Más allá de eso, estoy replanteandome si juntar enteros y decimales en un solo tipo es una buena idea o no en un lenguaje como Haskell :thinking:, vos que opinas? @fdodino, el año que viene podemos volver a iterar esto a ver si queremos seguir por acá o volvemos a separar en dos tipos y hacer más friendly la conversión entre ambos.

[fdodino]

Yo hasta ahora estaba muy feliz en mi mundo de Numbers. La solución de redondear es la que más me tienta, tener dos tipos para Int y Float en PDP me sigue pareciendo una idea mala...