在贴题记法:
absoluteError x y = abs (x-y)
在pointfree符号不明确的例子:
absoluteError' = curry (abs . uncurry (-))
在贴题记法:
absoluteError x y = abs (x-y)
在pointfree符号不明确的例子:
absoluteError' = curry (abs . uncurry (-))
这里是你如何能得到自己了,一小步一小步:
absoluteError x y = abs (x-y) = abs ((-) x y) = abs ( ((-) x) y)
= (abs . (-) x) y = ( (abs .) ((-) x) ) y =
= ( (abs .) . (-) ) x y
所以,通过ETA-还原 ,如果fxy = gxy
我们得出结论: f = g
。
此外,使用_B = (.)
片刻,
(abs .) . (-) = _B (abs .) (-) = _B (_B abs) (-) = (_B . _B) abs (-)
= ((.) . (.)) abs (-)
这里有办法了一把。
absoluteError = (abs .) . (-)
absoluteError = (abs .) . (-)
absoluteError = ((.) . (.)) abs (-)
命名胸部运营商更多的东西政治正确(和究竟发生了什么,同时概括它)
(.:) = fmap fmap fmap absoluteError = abs .: (-)
使用语义编辑组合子 :
result :: (o1 -> o2) -> (i -> o1) -> (i -> o2) result = (.) absoluteError = (result . result) abs (-)
当然,这些都是同样的伎俩,只是名称不同。 请享用!