2

这个问题中,作者在 Haskell 中编写了德摩根定律的实现。我了解notAandnotB, 和的实现notAornotB,但我很难理解其实现notAorB是:

notAorB :: (Either a b -> c) -> (a -> c, b -> c)
notAorB f = (f . Left, f . Right)

有人可以解释这(f . Left, f . Right)部分是如何工作的吗?我见过.之前使用过的运算符,但它带有三个参数,而不是两个。

先感谢您。

4

1 回答 1

3
于 2017-01-14T17:16:57.013 回答