Имеет ли haskell параллельный метод "и"
parAnd :: Bool -> Bool -> Bool
такое, что
(a `parAnd` b)
приведет к параллельной оценке a и b и возвращает false, как только a или b оценит значение false (и не дожидается другого)?
Есть ли способ реализовать такую вещь?
Обычно это невозможно. Вы можете сделать что-то вроде
a `par` b `pseq` (a && b)
но если b оценивается как False, a все еще полностью оценивается.
Однако это возможно с помощью оператора однозначного выбора, созданного Conal Elliott для реализации функционального реактивного программирования (FRP). Он доступен в Hackage как unamb и делает именно то, что вы хотите. В частности, он содержит
-- | Turn a binary commutative operation into one that tries both orders in
-- parallel. Useful when there are special cases that don't require
-- evaluating both arguments.
-- ...
parCommute :: (a -> a -> b) -> a -> a -> b
а также непосредственно определяет pand, por и другие подобные коммутативные функции, такие, что
pand undefined False -> False
pand False undefined -> False
Это предоставляется Conal Elliott пакет unamb. Он использует unsafePerformIO под обложками для оценки как a && b, так и b && a в отдельных потоках и возвращает, когда либо производит результат.