Elm_guide_Maybe の履歴(No.2)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Elm_guide_Maybe へ行く。
  • 1 (2019-11-23 (土) 10:09:03)
  • 2 (2019-11-23 (土) 10:09:03)
  • 3 (2019-11-23 (土) 10:09:03)

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

Maybe†

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

Maybe型の定義

#code(haskell){{
type Maybe a

 = Just a
 | Nothing

}}

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

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