出典:Wikipedia
出典:『Wikipedia』 (2011/03/16 02:45 UTC 版)
In programming languages (especially functional programming languages) and type theory, an option type or maybe type is a polymorphic type that represents encapsulation of an optional value; e.g. it is used as the return type of functions which may or may not return a meaningful value when they're applied. It consists of either an empty constructor (called None or Nothing), or a constructor encapsulating the original data type A (written Just A or Some A).
| ・option-type | |
| ・thallii | |
| ・quadroxalate | |
| ・suestada | |
| ・gelac | |
| ・侵害 | |
| ・agan | |
| ・FULL-POINT | |
| ・Livezeys | |
| ・Halfnut closed |