Program ＞ JavaScript ＞ AltJS ＞ Elm ＞ Elmガイド ＞ エラーハンドリング ＞ Maybe

Maybe †

• Maybe · An Introduction to Elm https://guide.elm-lang.jp/error_handling/maybe.html

Maybe型の定義

  1
  2
  3

type Maybe a
  = Just a
  | Nothing

Maybeは2つのバリアントを持つ型です。
つまり何も持っていない（=Nothing）か、ちょうど（=Just）1つの値を持っているか、です。
Maybe aの型変数は具体的な値次第でMaybe FloatやMaybe Stringといった型を持つことを可能にします。

Maybeの使い道 †

Maybeには主に2つの使いみちがあります。
部分関数と入力が任意のフィールドで役立ちます。

使いすぎを避ける †

このMaybe型は非常に便利ですが、限界があります。
たとえカスタム型でエラーを表現するのがより適切な場合であっても、初心者は特にMaybe型に興奮して、いたるところでそれを使用する傾向があります。

Maybe型も使いどころがあって、便利な道具だからと言って何でもかんでも使えば良いというわけではないんですね。