Haskellの文法(分岐編) - あどけない話

僕が Haskell を学び始めた頃、Haskell の文法はすんなりとは頭に入ってきませんでした。もともと僕はプログラミング言語の学習能力が低いので、僕だけかもしれませんが、「はじめからこう言ってもらえれば分かったのにぃ」ということを書きます。 はじめの一歩 分岐は case で書きます。以下に Maybe a に対する例を書きます。 case mx of Just x -> ... Nothing -> ... 念のため、Maybe a の定義も見てみましょう。 data Maybe a = Nothing | Just a 列挙されているデータ構成子を case に列挙できることが分かるでしょう。このように、case でマッチできるのは、データ構成子で表現されたパターンになります。 ワイルドカード たとえば、以下のような型を定義したとします。 data Foo = A | B | C

[kirakking]

そうかガードはcaseの各パターンで使われるように定義されているのか。だからトップレベルでもガードが使えるのか。

[joan9]

>GHCのオプションには、必ず-Wallを付けましょう。(doを使うようになったら、-fno-warn-unused-do-bindも付けましょう。)パターンが網羅できてなかったり、変数名がシャドーウィングを起こしていると、教えてくれます

[sirocco]

"GHC のオプションには、必ず -Wall を付けましょう。(do を使うようになったら、 -fno-warn-unused-do-bind も付けましょう。)"

[ruicc]

「GHC のオプションには、必ず -Wall を付けましょう」