¿Existe alguna forma mejor de expresar la función de error absoluto en la notación sin puntos?

Question

En la notación pointful:

absoluteError x y = abs (x-y)

Un ejemplo claro en notación pointfree:

absoluteError' = curry (abs . uncurry (-))

Answer 1

Así es como se podría deducir por sí mismo, en pequeños pasos:

absoluteError x y = abs (x-y) = abs ((-) x y) = abs (((-) x) y) 
        = (abs . (-) x) y = ((abs .) ((-) x)) y = 
        = ((abs .) . (-)) x y 

así, por eta-reduction, si llegamos a la conclusión f x y = g x yf = g.

Además, utilizando _B = (.) por un momento,

(abs .) . (-) = _B (abs .) (-) = _B (_B abs) (-) = (_B . _B) abs (-) 
       = ((.) . (.)) abs (-) 

Answer 2

Aquí hay un puñado de maneras.

1. la antigua usanza: absoluteError = (abs .) . (-)
2. utilizan el llamado "operador tetas", o "operador buho" absoluteError = ((.) . (.)) abs (-)

3. nombre del operador tetas algo más políticamente correcto (y qué diablos, generalizar que al mismo tiempo)

   (.:) = fmap fmap fmap 
   absoluteError = abs .: (-) 
   

4. usando semantic editor combinators:

   result :: (o1 -> o2) -> (i -> o1) -> (i -> o2) 
   result = (.) 
   
   absoluteError = (result . result) abs (-) 
   

Por supuesto, estos son todos el mismo truco, solo que con diferentes nombres. ¡Disfrutar!