Question

有点符号：

absoluteError x y = abs (x-y)

以无点符号表示的一个不明确的例子：

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

Answer 1

以下是您可以通过小步骤自行推导出来的方法：

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

所以，eta-reduction，如果f x y = g x y我们得出结论f = g。

此外，暂时使用_B = (.)，

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

Answer 2

以下是一些方法。

老式的：absoluteError = (abs .) . (-)
使用所谓的“胸部操作员”或“猫头鹰操作员”absoluteError = ((.) . (.)) abs (-)
将胸部操作员命名为更具政治正确性的东西（以及哎呀，同时概括它）
```
(.:) = fmap fmap fmap
absoluteError = abs .: (-)
```

使用semantic editor combinators：

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

absoluteError = (result . result) abs (-)

当然，这些都是同样的伎俩，只是名字不同。享受！

有没有更好的方法来表达无点表示法的绝对误差函数？

2 个答案: