Haskell case文の文法

Question

case args ofを理解するにはどうすればいいですか？

main :: IO() 
main = do 
    args <- getArgs 
    case args of 
    [dir, mbytes] | [(bytes ,"")] <- reads mbytes 
        , bytes >= 1 -> findDuplicates dir bytes 
    (_) -> do 
     name <- getProgName 
     printf "Something went wrong - please use ./%s <dir> <bytes>\n" name 

Answer 1

このcase式のガードは、ない、Haskellの2010の一部をPatternGuards拡張を利用することが、アイデアは、この拡張子を持つ、あなたの警備員が自分のパターンマッチングを行うことができるということです98ハスケルされていませんちょうどBoolの式を評価してください。

[dir, mbytes] 

とワイルドカードパターン：

だからあなたcase式は二つのパターンがあります。 [dir, mbytes]がargsと一致する場合、パターンマッチは成功しない可能性があります。ガードを適用する必要があります。普通のブール式であるreads mbytesを呼び出すと[(bytes, "")]と一致しなければならないことを意味

[(bytes ,"")] <- reads mbytes 

、および

bytes >= 1 

：これは、2つのガードを持っています。

これらのパターンマッチとガードがすべて成功した場合は、caseの最初の句が使用されます。さもなければ、私達はデフォルト節に落ち、エラーメッセージを表示する。