Haskell, cubre la downto sin paso

Question

¿Por qué en Haskell no está trabajando gama downto sin paso

[7..1] => [] 

pero trabajando solo que esta

[7,6..1] => [7,6,5,4,3,2,1] 

Answer 1

3.10. secuencias aritméticas

[...] secuencias aritméticas satisfacen estas identidades:

• [...]
• [e1..e3] = enumFromTo e1 e3
• [...]

6.3.4 La clase Enum

Para los tipos de Int e Integer, las funciones de enumeración h Ave. el siguiente significado:

• [...]
• La secuencia enumFromTo e1 e3 es la lista [e1, e1 + 1, e1 + 2, ... e3]. La lista está vacía si e1> e3.
• [...]

De Haskell 2010 Language Report.

Answer 2

Haskell no tiene manera de saber que usted quiere dar un paso -1 hasta que le des una pista.

Puede haber situaciones en las que desee una gama [x..y] donde y < x y donde se espera que la gama esté vacío. Esto crearía errores sutiles si Haskell simplemente bajara en estos casos.

Answer 3

Sin una indicación del paso, haskell asume que es +1 y devuelve una lista vacía si no es aplicable a los parámetros dados.

Cualquier incremento aparte de +1 tiene que ser explícitamente sugerido; no solo los integrers positivos> 1.