使用Haskell将[Bool]写入二进制文件

import System.IO
import Data.Binary
import Data.List (foldl')

boolsToBits :: [Bool] -> [Word8]
boolsToBits = foldl' f []
  where
    f acc x = let (q, r) = quotRem (length acc) 8
               in case r of
                 0 -> acc ++ [if x then 1 else 0]
                 _ -> let i = length acc - 1
                          oldVal = acc !! i
                          newVal = if x then oldVal `setBit` (7 - r) else oldVal `clearBit` (7 - r)
                      in take i acc ++ [newVal]

writeBoolsToBinaryFile :: FilePath -> [Bool] -> IO ()
writeBoolsToBinaryFile filePath bs = withBinaryFile filePath WriteMode $ \h -> do
    mapM_ (hPutChar h . toEnum . fromEnum) (boolsToBits bs)

ghc -O2 writeBinary.hs -o writeBinary

./writeBinary input.bin [True, False, True, True, False]