パリティビット付加のプログラムのエラー

Question

二進表記を8ビットの長さになるようにする関数make8を改変して、さらにパリティビットを付加するプログラムmake9を書きましたがエラーがでてしまいました。よろしければ回答よろしくおねがいします。

import Data.Char
type Bit = Int

make8 bits = take 8 (bits ++ repeat 0)

>make8 [1,0,1,1]
[1,0,1,1,0,0,0,0]

make9 bits | odd . length . filter(/=0) == True = take8 (bits ++ repeat 0) ++ [1]
           | otherwise = take 8 (bits ++ repeat 0) ++ [0]

以下、エラー文です。

  • Couldn't match expected type ‘[a0] -> Bool’
                  with actual type ‘Bool’
    • In the second argument of ‘(==)’, namely ‘True’
      In the expression: odd . length . filter (/= 0) == True
      In a stmt of a pattern guard for
                     an equation for ‘make9’:
        odd . length . filter (/= 0) == True
   |
16 | make9 bits | odd . length . filter(/= 0) == True = take 8 (bits ++ repeat 0) ++ [1]
   |       

Answer 1

この部分の (=) の両辺の型が違うのが問題です。左辺が関数で右辺が Bool になっています。

odd . length . filter (/=0) == True

bits に適用するのを忘れているように見えます。

odd (length (filter (/=0) bits)) == True

Wandbox で実行