守衛初學者錯誤？ - 哈斯克爾

Question

我剛開始工作在我的第三個作業上，我遇到了另一個noob錯誤，我似乎無法自行解決。

我們要編寫一個Sudoku求解器，而且我正在編寫一個函數，它將決定我的Sudoku中的元素是否是正確的類型。它們是Maybe Int類型（Just Int或Nothing）。

下面是代碼中的相關部分：

data Sudoku = Sudoku [[Maybe Int]] 
    deriving (Eq, Show) 

validValue :: Maybe Int -> Bool 
validValue Nothing = True 
validValue (Just n) = True 

checkEveryElement :: Sudoku -> Bool 
checkEveryElement (Sudoku (x:xs)) 
    | and $ map $ validValue $ concat (x:xs) == True 

的獨本身是由9個元素，其中每個元素是它由9個元件自身的列表的列表表示。所以上面列表中的x（總列表的頭部）實際上是9個元素的列表。

我只開始學習如何編程這些過去五週，所以請耐心等待。 :) 我不知道我使用和正確。編譯時得到的錯誤在上述代碼段的最後一行。

謝謝！

編輯：我忘了實際的錯誤...'可能是不正確的縮進或不匹配的括號。'

Answer 1

您需要一個等於登錄那裏，而不是比較等效標誌。你的警戒表達中還有一個額外的$。它應該是

checkEveryElement :: Sudoku -> Bool 
checkEveryElement (Sudoku (x:xs)) 
-- | and $ map $ validValue $ concat (x:xs) == True 
    | and $ map validValue $ concat (x:xs) = True 
--    ^^^       ^^^ 

但它會一直是True，根據您當前的定義。由於==符號是警衛的所有部分，所以該函數的正文缺失。

和寫作上面的慣用方法就是

checkEveryElement (Sudoku (x:xs)) = 
    -- and $ map validValue $ concat (x:xs) -- or, 
    all validValue  $ concat (x:xs)  

沒有後衛。