haskellの全加算器

Question

ハスケル初心者はこちら。私は完全な加算のための関数を書くためにいくつかの助けが必要です。 私は、次の持っている：

xor :: Bool -> Bool -> Bool 
xor True False = True 
xor False True = True 
xor _ _ = False 

fulladder :: Bool -> Bool -> Bool ->(Bool, Bool) 
fulladder a b c = c xor (a xor b) ++ (a&&b) || ((a xor b) && c)  

と、私は次のエラーを取得しています：

は

* Couldn't match expected type `(Bool -> Bool -> Bool) 
            -> Bool -> Bool' 
        with actual type `Bool' 
    * The function `a' is applied to two arguments, 
     but its type `Bool' has none 
     In the first argument of `(&&)', namely `(a xor b)' 
     In the second argument of `(||)', namely `((a xor b) && c)' 

Answer 1

あなたの関数の戻り値の型は、タプルです。実際：

fulladder :: Bool -> Bool -> Bool -> (Bool, Bool) 
--         ^2-tuple

今(++) :: [a] -> [a] -> [a]連結しリスト。だから、これは間違いなくタプルを構築するためには動作しません。最初のエラーは次のとおりです。

fulladder :: Bool -> Bool -> Bool ->(Bool, Bool) 
fulladder a b c = ( c xor (a xor b) , (a&&b) || ((a xor b) && c) ) 
--    ^tuple syntax ^      ^

次に、関数の後ろに引数を指定します。だからc xor aは動作しません。 xor c aを使用してください（またはbackticsを使用してください）。

fulladder :: Bool -> Bool -> Bool ->(Bool, Bool) 
fulladder a b c = (xor c (xor a b) , (a&&b) || ((xor a b) && c)) 
--     ^ ^right order   ^

または代わりに：：だから我々はそれを書き換える必要があります

fulladder :: Bool -> Bool -> Bool ->(Bool, Bool) 
fulladder a b c = (c `xor` (a `xor` b) , (a&&b) || ((a `xor` b) && c)) 
--     ^^^^backtics   ^ ^

今すぐ関数が生成します。

*Main> fulladder False False False 
(False,False) 
*Main> fulladder False False True 
(True,False) 
*Main> fulladder False True False 
(True,False) 
*Main> fulladder False True True 
(False,True) 
*Main> fulladder True False False 
(True,False) 
*Main> fulladder True False True 
(False,True) 
*Main> fulladder True True False 
(False,True) 
*Main> fulladder True True True 
(True,True) 

出力ための正しい結果である

とを運びますタプル。