在这个问题中,作者在 Haskell 中编写了德摩根定律的实现。我了解notAandnotB
, 和的实现notAornotB
,但我很难理解其实现notAorB
是:
notAorB :: (Either a b -> c) -> (a -> c, b -> c)
notAorB f = (f . Left, f . Right)
有人可以解释这(f . Left, f . Right)
部分是如何工作的吗?我见过.
之前使用过的运算符,但它带有三个参数,而不是两个。
先感谢您。