¿Cuál es el equivalente a (+1) para la resta, ya que (-1) se ve como un número negativo?

Question

Duplicar posible:
Currying subtraction

empecé mi primer proyecto Haskell que no es de un tutorial, y por supuesto que tropiecen en las cosas más simples.

Tengo el siguiente código:

moveUp y = modifyMVar_ y $ return . (+1) 
moveDn y = modifyMVar_ y $ return . (-1) 

Me tomó algún tiempo para entender por qué mi código no se compilará: Había utilizado (-1) que es visto como uno negativo. Alterar el signo menos no ayuda, ya que lo antepone y convierte a 1 en su primer parámetro.

En resumen, ¿cuál es la versión gratuita de este punto?

dec :: Num a => a -> a 
dec x = x - 1 

Answer 1

Creo que desee the conveniently-named subtract function, que existe por exactamente la razón por la que has descubierto:

subtract :: Num a => a -> a -> a 

lo mismo que flip (-).

Dado que - se trata especialmente en la gramática de Haskell, (- e) no es una sección, sino una aplicación de negación de prefijo. Sin embargo, (subtract exp) es equivalente a la sección no permitida.

Si quería escribirlo pointfree sin necesidad de utilizar una función como subtract, podría utilizar flip (-), como la documentación Prelude menciona. Pero eso es ... un poco feo.

Answer 2

Puede usar la función subtract (que está en el Preludio estándar).

moveDn y = modifyMVar_ y $ return . (subtract 1) 

También puede usar flip para reordenar los parámetros que toma -.

moveDn y = modifyMVar_ y $ return . (flip (-) 1) 

Answer 3

Si el subtract antes mencionado es demasiado prolijo, podría intentar algo así como (+ (-1)) o (-1 +).