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 are applied. It consists of a constructor which either is empty (often named None or Nothing), or which encapsulates the original data type A (often written Just A or Some A).
| Attributes | Values |
|---|
| rdfs:label
| - Tipo opcional (es)
- Option型 (ja)
- Option type (en)
- Typ Optional (pl)
- 可选类型 (zh)
|
| rdfs:comment
| - En lenguajes de programación (especialmente lenguajes funcionales), un tipo opcional es un tipo polimórfico que representa la encapsulación de un valor opcional; por ejemplo, se utiliza como el tipo de retorno de las funciones que puedan o no devolver un valor significativo cuando se aplican. Se compone de ya sea un Constructor vacío (llamado "Ninguno" o "Nada"), o un constructor que encapsula el tipo de datos original A (escrito "Justo A" o "Algún A"). Fuera de la programación funcional, estos son conocidos como tipos anulables.
* Datos: Q7099015 (es)
- プログラミング言語と型理論において、Option型（英語: Option type）またはMaybe型（英語: Maybe type）は存在しない可能性のある値をカプセル化して表すである。例えば、関数の戻り値が存在する場合と存在しない場合を表すためにこの型は使用される。この型は空またはオリジナルのデータ型Aをカプセルしたコンストラクタから構成されている。 関数型プログラミング以外において、全く異なるが関連する概念としてNullable型がオブジェクト指向プログラミングで一般的である。Option型とNullable型の主な違いは、Option型はネストすることができるのに対して、Nullable型はこれに対応していないことである。 (ja)
- Typ Optional – charakterystyczna funkcja w języku Swift, pozwalająca wskazać, że dany egzemplarz może nie przyjmować żadnej wartości. Typ Optional można zastosować z dowolnym innym typem w celu zasugerowania, że egzemplarz może przyjmować wartość nil. Dzięki typom Optional język Swift jest bezpieczniejszy. Egzemplarz, który może przyjąć wartość nil powinien zostać zadeklarowany typem Optional. Z kolei, nie deklarowanie egzemplarza typem Optional zapewnia gwarancje nieprzyjmowania wartości nil. Dzięki tego rodzaju deklaracji kod staje się bardziej ekspresywny. (pl)
- 在编程语言（尤其是函数式编程语言）和类型论中，可选类型（英語：Option Type）是一种表示可选值的多态类型，也称作可能类型（英語：Maybe Type）。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。 可选类型的构造函数通常有两种形式：一种形式不包含任何参数，表示空（常记作 None 或者 Nothing）；另一种形式包含原始数据类型 A（常记作 Just A 或者 Some A）。 面向对象编程领域可空类型的概念（常记作 A?）与可选类型类似，但并不完全相同，两者之间的主要区别在于可选类型不支持嵌套（Maybe(Maybe A) ≠ Maybe A），而可空类型支持（String?? = String?）。 (zh)
- 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 are applied. It consists of a constructor which either is empty (often named None or Nothing), or which encapsulates the original data type A (often written Just A or Some A). (en)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| with
| - example usage (en)
- the definition (en)
|
| date
| - August 2019 (en)
- July 2022 (en)
|
| title
| - It is unclear how this is the case, and there are no links to external references that explain this. (en)
|
| has abstract
| - En lenguajes de programación (especialmente lenguajes funcionales), un tipo opcional es un tipo polimórfico que representa la encapsulación de un valor opcional; por ejemplo, se utiliza como el tipo de retorno de las funciones que puedan o no devolver un valor significativo cuando se aplican. Se compone de ya sea un Constructor vacío (llamado "Ninguno" o "Nada"), o un constructor que encapsula el tipo de datos original A (escrito "Justo A" o "Algún A"). Fuera de la programación funcional, estos son conocidos como tipos anulables.
* Datos: Q7099015 (es)
- 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 are applied. It consists of a constructor which either is empty (often named None or Nothing), or which encapsulates the original data type A (often written Just A or Some A). A distinct, but related concept outside of functional programming, which is popular in object-oriented programming, is called nullable types (often expressed as A?). The core difference between option types and nullable types is that option types support nesting (e.g. Maybe (Maybe String) ≠ Maybe String), while nullable types do not (e.g. String?? = String?). (en)
- プログラミング言語と型理論において、Option型（英語: Option type）またはMaybe型（英語: Maybe type）は存在しない可能性のある値をカプセル化して表すである。例えば、関数の戻り値が存在する場合と存在しない場合を表すためにこの型は使用される。この型は空またはオリジナルのデータ型Aをカプセルしたコンストラクタから構成されている。 関数型プログラミング以外において、全く異なるが関連する概念としてNullable型がオブジェクト指向プログラミングで一般的である。Option型とNullable型の主な違いは、Option型はネストすることができるのに対して、Nullable型はこれに対応していないことである。 (ja)
- Typ Optional – charakterystyczna funkcja w języku Swift, pozwalająca wskazać, że dany egzemplarz może nie przyjmować żadnej wartości. Typ Optional można zastosować z dowolnym innym typem w celu zasugerowania, że egzemplarz może przyjmować wartość nil. Dzięki typom Optional język Swift jest bezpieczniejszy. Egzemplarz, który może przyjąć wartość nil powinien zostać zadeklarowany typem Optional. Z kolei, nie deklarowanie egzemplarza typem Optional zapewnia gwarancje nieprzyjmowania wartości nil. Dzięki tego rodzaju deklaracji kod staje się bardziej ekspresywny. (pl)
- 在编程语言（尤其是函数式编程语言）和类型论中，可选类型（英語：Option Type）是一种表示可选值的多态类型，也称作可能类型（英語：Maybe Type）。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。 可选类型的构造函数通常有两种形式：一种形式不包含任何参数，表示空（常记作 None 或者 Nothing）；另一种形式包含原始数据类型 A（常记作 Just A 或者 Some A）。 面向对象编程领域可空类型的概念（常记作 A?）与可选类型类似，但并不完全相同，两者之间的主要区别在于可选类型不支持嵌套（Maybe(Maybe A) ≠ Maybe A），而可空类型支持（String?? = String?）。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is rdfs:seeAlso
of | |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)