Как определить эксклюзивные дизъюнкции с гвардейской Использование Haskell

Question

этот код, чтобы определить эксклюзивный стол дизъюнкция правда в Haskell

Click here for more info on exclusive disjunction, XOR Код:

-- truth table concept of logical XOR 
exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction = x y 
    |True True <- False 
    |True False <- True 
    |False True <- True 
    |False False <- False 
    |otherwise = x y 

Результаты:

Ex6^.hs:31:5: 
     parse error on input ‘|’ 
    Failed, modules loaded: none. 

Как установить охранники с двумя булевыми значениями es задает таблицу истинности xor в синтаксисе haskell?

Спасибо Просьба указать ваш ответ, не используя haskell, встроенные в операторы, что означает не использовать & & ||.

Почему это не может быть сделано?

exclusiveDisjunction2 :: Bool -> Bool -> Bool 
exclusiveDisjunction2 x y 
    |True True = False 
    |True False = True 
    |False True = True 
    |False False = False 

это результат после запуска

Couldn't match expected type ‘Bool -> Bool’ with actual type ‘Bool’ 
    The function ‘False’ is applied to one argument, 
    but its type ‘Bool’ has none 
    In the expression: False False 
    In a stmt of a pattern guard for 
        an equation for ‘exclusiveDisjunction2’: 
     False False 

Answer 1

Вы делаете ошибки синтаксиса. Если вы действительно хотите использовать охранник, вы можете сделать что-то вроде этого:

exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction x y 
    | x == True && y == True = False 
    | x == True && y == False = True 
    | x == False && y == True = True 
    | x == False && y == False = False 

Но это может быть более просто достигнуто case выражения:

exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction x y = case (x,y) of 
          (True, True) -> False 
          (True, False) -> True 
          (False, True) -> True 
          (False, False) -> False 

Или еще проще с помощью встроенного disjunction оператора:

exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction x y = case (x,y) of 
          (True, True) -> False 
          otherwise -> x || y 

Answer 2

Как упоминалось @sibi, вы делаете ошибки синтаксиса. Но то, что вы делаете, достигается путем сопоставления шаблонов.

exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction True True = False 
exclusiveDisjunction True False = True 
exclusiveDisjunction False True = True 
exclusiveDisjunction False False = False 

Это может быть упрощено в

exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction True True = False 
exclusiveDisjunction True False = True 
exclusiveDisjunction _ a = a 

Answer 3

Там уже есть хорошие ответы, но я хочу показать, как реализовать это в ясной форме, с моей точки зрения.

exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction True = not 
exclusiveDisjunction False = id 

Answer 4

кратчайший.

exclusiveDisjunction :: Bool -> Bool -> Bool 
exclusiveDisjunction = (/=)