ProgramJavaScriptAltJSElmElmガイドエラーハンドリング > Maybe

Maybe

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型も使いどころがあって、便利な道具だからと言って何でもかんでも使えば良いというわけではないんですね。


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2019-11-23 (土) 10:09:03 (13d)