This HTML5 document contains 68 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
n17	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-pl	http://pl.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-zh	http://zh.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item

dbr:Option_type

rdfs:label

可选类型 Typ Optional Option type Tipo opcional Option型

rdfs:comment

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). 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. 在编程语言（尤其是函数式编程语言）和类型论中，可选类型（英語：Option Type）是一种表示可选值的多态类型，也称作可能类型（英語：Maybe Type）。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。 可选类型的构造函数通常有两种形式：一种形式不包含任何参数，表示空（常记作 None 或者 Nothing）；另一种形式包含原始数据类型 A（常记作 Just A 或者 Some A）。 面向对象编程领域可空类型的概念（常记作 A?）与可选类型类似，但并不完全相同，两者之间的主要区别在于可选类型不支持嵌套（Maybe(Maybe A) ≠ Maybe A），而可空类型支持（String?? = String?）。 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 プログラミング言語と型理論において、Option型（英語: Option type）またはMaybe型（英語: Maybe type）は存在しない可能性のある値をカプセル化して表すである。例えば、関数の戻り値が存在する場合と存在しない場合を表すためにこの型は使用される。この型は空またはオリジナルのデータ型Aをカプセルしたコンストラクタから構成されている。 関数型プログラミング以外において、全く異なるが関連する概念としてNullable型がオブジェクト指向プログラミングで一般的である。Option型とNullable型の主な違いは、Option型はネストすることができるのに対して、Nullable型はこれに対応していないことである。

dcterms:subject

dbc:Functional_programming dbc:Data_types dbc:Type_theory

dbo:wikiPageID

22774540

dbo:wikiPageRevisionID

1114321173

dbo:wikiPageWikiLink

dbc:Data_types dbc:Functional_programming dbc:Type_theory dbr:Type_theory dbr:Pattern_matching dbr:Nullable_type dbr:Functional_programming dbr:Tagged_union dbr:Object-oriented_programming dbr:Unit_type dbr:Result_type dbr:Curry–Howard_correspondence dbr:Exception_handling dbr:Collection_(abstract_data_type) dbr:Null_object_pattern dbr:Maybe_monad dbr:Parametric_polymorphism dbr:Absorption_law dbr:Programming_language

owl:sameAs

freebase:m.05zxhs9 wikidata:Q7099015 dbpedia-ja:Option型 dbpedia-pl:Typ_Optional n17:4svmk dbpedia-es:Tipo_opcional dbpedia-zh:可选类型

dbp:wikiPageUsesTemplate

dbt:Multiple_issues dbt:Short_description dbt:! dbt:How dbt:More_citations_needed dbt:Code dbt:For dbt:Further dbt:Original_research_inline dbt:Expand_section dbt:Original_research dbt:Reflist dbt:Data_types dbt:Importance_section

dbp:with

example usage the definition

dbp:date

August 2019 July 2022

dbp:title

It is unclear how this is the case, and there are no links to external references that explain this.

dbo:abstract

在编程语言（尤其是函数式编程语言）和类型论中，可选类型（英語：Option Type）是一种表示可选值的多态类型，也称作可能类型（英語：Maybe Type）。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。 可选类型的构造函数通常有两种形式：一种形式不包含任何参数，表示空（常记作 None 或者 Nothing）；另一种形式包含原始数据类型 A（常记作 Just A 或者 Some A）。 面向对象编程领域可空类型的概念（常记作 A?）与可选类型类似，但并不完全相同，两者之间的主要区别在于可选类型不支持嵌套（Maybe(Maybe A) ≠ Maybe A），而可空类型支持（String?? = String?）。 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 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. 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?). プログラミング言語と型理論において、Option型（英語: Option type）またはMaybe型（英語: Maybe type）は存在しない可能性のある値をカプセル化して表すである。例えば、関数の戻り値が存在する場合と存在しない場合を表すためにこの型は使用される。この型は空またはオリジナルのデータ型Aをカプセルしたコンストラクタから構成されている。 関数型プログラミング以外において、全く異なるが関連する概念としてNullable型がオブジェクト指向プログラミングで一般的である。Option型とNullable型の主な違いは、Option型はネストすることができるのに対して、Nullable型はこれに対応していないことである。

prov:wasDerivedFrom

wikipedia-en:Option_type?oldid=1114321173&ns=0

dbo:wikiPageLength

12464

foaf:isPrimaryTopicOf

wikipedia-en:Option_type