Czy istnieje lepszy sposób na wyrażenie bezwzględnej funkcji błędu w notacji bez punktu?

Question

W notacji pointful:

absoluteError x y = abs (x-y)

Niejasna przykład w notacji pointfree:

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

Answer 1

Oto jak można to wywodzą się w małych krokach:

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

tak, by eta-reduction, jeśli f x y = g x y wnioskujemy f = g.

Ponadto, korzystając _B = (.) Przez chwilę

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

Answer 2

Oto kilka sposobów.

1. staromodny: absoluteError = (abs .) . (-)
2. użyć tzw "operator boobs" lub "operator sowa" absoluteError = ((.) . (.)) abs (-)

3. nazwą coś bardziej politycznie poprawny operator cycki (i co do cholery, uogólniać to w tym samym czasie)

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

4. użyciu semantic editor combinators:

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

Oczywiście są to te same sztuczki, tylko z różnymi nazwami. Cieszyć się!