Option型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/09/26 04:58 UTC 版)
プログラミング言語[注釈 1]と型理論において、Option型(英語: Option type)またはMaybe型(英語: Maybe type)は存在しない可能性のある値をカプセル化して表す多相型である。例えば、関数の戻り値が存在する場合と存在しない場合を表すためにこの型は使用される。この型は空[注釈 2]またはオリジナルのデータ型A
をカプセルした[注釈 3]コンストラクタから構成されている。
注釈
出典
- ^ Milewski, Bartosz (2015年1月13日). “Simple Algebraic Data Types” (英語). Bartosz Milewski's Programming Cafe. 2019年8月18日時点のオリジナルよりアーカイブ。2019年8月18日閲覧。
- ^ “A Fistful of Monads - Learn You a Haskell for Great Good!”. www.learnyouahaskell.com. 2019年8月18日閲覧。
- ^ Hutton, Graham (2017年11月25日). “What is a Monad?”. Computerphile Youtube. 2021年12月20日時点のオリジナルよりアーカイブ。2019年8月18日閲覧。
- ^ “Maybe · An Introduction to Elm”. guide.elm-lang.org. 2022年6月11日閲覧。
- ^ “Apple Developer Documentation”. developer.apple.com. 2020年9月6日閲覧。
- ^ Martin Odersky; Lex Spoon; Bill Venners (2008). Programming in Scala. Artima Inc. pp. 282–284. ISBN 978-0-9815316-0-1 2011年9月6日閲覧。
- 1 Option型とは
- 2 Option型の概要
- 3 例
- 4 関連項目
- Option型のページへのリンク