. . "\u53EF\u9009\u7C7B\u578B"@zh . . "example usage"@en . "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 . . . . . . "Typ Optional"@pl . . . . . "\u5728\u7F16\u7A0B\u8BED\u8A00\uFF08\u5C24\u5176\u662F\u51FD\u6570\u5F0F\u7F16\u7A0B\u8BED\u8A00\uFF09\u548C\u7C7B\u578B\u8BBA\u4E2D\uFF0C\u53EF\u9009\u7C7B\u578B\uFF08\u82F1\u8A9E\uFF1AOption Type\uFF09\u662F\u4E00\u79CD\u8868\u793A\u53EF\u9009\u503C\u7684\u591A\u6001\u7C7B\u578B\uFF0C\u4E5F\u79F0\u4F5C\u53EF\u80FD\u7C7B\u578B\uFF08\u82F1\u8A9E\uFF1AMaybe Type\uFF09\u3002\u4F8B\u5982\uFF0C\u51FD\u6570\u53EF\u4EE5\u4F7F\u7528\u53EF\u9009\u7C7B\u578B\u7684\u8FD4\u56DE\u503C\uFF0C\u8868\u793A\u6267\u884C\u8BE5\u51FD\u6570\u540E\u53EF\u80FD\u8FD4\u56DE\u6709\u610F\u4E49\u7684\u503C\uFF0C\u4E5F\u53EF\u80FD\u4E0D\u8FD4\u56DE\u3002 \u53EF\u9009\u7C7B\u578B\u7684\u6784\u9020\u51FD\u6570\u901A\u5E38\u6709\u4E24\u79CD\u5F62\u5F0F\uFF1A\u4E00\u79CD\u5F62\u5F0F\u4E0D\u5305\u542B\u4EFB\u4F55\u53C2\u6570\uFF0C\u8868\u793A\u7A7A\uFF08\u5E38\u8BB0\u4F5C None \u6216\u8005 Nothing\uFF09\uFF1B\u53E6\u4E00\u79CD\u5F62\u5F0F\u5305\u542B\u539F\u59CB\u6570\u636E\u7C7B\u578B A\uFF08\u5E38\u8BB0\u4F5C Just A \u6216\u8005 Some A\uFF09\u3002 \u9762\u5411\u5BF9\u8C61\u7F16\u7A0B\u9886\u57DF\u53EF\u7A7A\u7C7B\u578B\u7684\u6982\u5FF5\uFF08\u5E38\u8BB0\u4F5C A?\uFF09\u4E0E\u53EF\u9009\u7C7B\u578B\u7C7B\u4F3C\uFF0C\u4F46\u5E76\u4E0D\u5B8C\u5168\u76F8\u540C\uFF0C\u4E24\u8005\u4E4B\u95F4\u7684\u4E3B\u8981\u533A\u522B\u5728\u4E8E\u53EF\u9009\u7C7B\u578B\u4E0D\u652F\u6301\u5D4C\u5957\uFF08Maybe(Maybe A) \u2260 Maybe A\uFF09\uFF0C\u800C\u53EF\u7A7A\u7C7B\u578B\u652F\u6301\uFF08String?? = String?\uFF09\u3002"@zh . . "August 2019"@en . . . "the definition"@en . "Typ Optional \u2013 charakterystyczna funkcja w j\u0119zyku Swift, pozwalaj\u0105ca wskaza\u0107, \u017Ce dany egzemplarz mo\u017Ce nie przyjmowa\u0107 \u017Cadnej warto\u015Bci. Typ Optional mo\u017Cna zastosowa\u0107 z dowolnym innym typem w celu zasugerowania, \u017Ce egzemplarz mo\u017Ce przyjmowa\u0107 warto\u015B\u0107 nil. Dzi\u0119ki typom Optional j\u0119zyk Swift jest bezpieczniejszy. Egzemplarz, kt\u00F3ry mo\u017Ce przyj\u0105\u0107 warto\u015B\u0107 nil powinien zosta\u0107 zadeklarowany typem Optional. Z kolei, nie deklarowanie egzemplarza typem Optional zapewnia gwarancje nieprzyjmowania warto\u015Bci nil. Dzi\u0119ki tego rodzaju deklaracji kod staje si\u0119 bardziej ekspresywny."@pl . . . "22774540"^^ . "\u5728\u7F16\u7A0B\u8BED\u8A00\uFF08\u5C24\u5176\u662F\u51FD\u6570\u5F0F\u7F16\u7A0B\u8BED\u8A00\uFF09\u548C\u7C7B\u578B\u8BBA\u4E2D\uFF0C\u53EF\u9009\u7C7B\u578B\uFF08\u82F1\u8A9E\uFF1AOption Type\uFF09\u662F\u4E00\u79CD\u8868\u793A\u53EF\u9009\u503C\u7684\u591A\u6001\u7C7B\u578B\uFF0C\u4E5F\u79F0\u4F5C\u53EF\u80FD\u7C7B\u578B\uFF08\u82F1\u8A9E\uFF1AMaybe Type\uFF09\u3002\u4F8B\u5982\uFF0C\u51FD\u6570\u53EF\u4EE5\u4F7F\u7528\u53EF\u9009\u7C7B\u578B\u7684\u8FD4\u56DE\u503C\uFF0C\u8868\u793A\u6267\u884C\u8BE5\u51FD\u6570\u540E\u53EF\u80FD\u8FD4\u56DE\u6709\u610F\u4E49\u7684\u503C\uFF0C\u4E5F\u53EF\u80FD\u4E0D\u8FD4\u56DE\u3002 \u53EF\u9009\u7C7B\u578B\u7684\u6784\u9020\u51FD\u6570\u901A\u5E38\u6709\u4E24\u79CD\u5F62\u5F0F\uFF1A\u4E00\u79CD\u5F62\u5F0F\u4E0D\u5305\u542B\u4EFB\u4F55\u53C2\u6570\uFF0C\u8868\u793A\u7A7A\uFF08\u5E38\u8BB0\u4F5C None \u6216\u8005 Nothing\uFF09\uFF1B\u53E6\u4E00\u79CD\u5F62\u5F0F\u5305\u542B\u539F\u59CB\u6570\u636E\u7C7B\u578B A\uFF08\u5E38\u8BB0\u4F5C Just A \u6216\u8005 Some A\uFF09\u3002 \u9762\u5411\u5BF9\u8C61\u7F16\u7A0B\u9886\u57DF\u53EF\u7A7A\u7C7B\u578B\u7684\u6982\u5FF5\uFF08\u5E38\u8BB0\u4F5C A?\uFF09\u4E0E\u53EF\u9009\u7C7B\u578B\u7C7B\u4F3C\uFF0C\u4F46\u5E76\u4E0D\u5B8C\u5168\u76F8\u540C\uFF0C\u4E24\u8005\u4E4B\u95F4\u7684\u4E3B\u8981\u533A\u522B\u5728\u4E8E\u53EF\u9009\u7C7B\u578B\u4E0D\u652F\u6301\u5D4C\u5957\uFF08Maybe(Maybe A) \u2260 Maybe A\uFF09\uFF0C\u800C\u53EF\u7A7A\u7C7B\u578B\u652F\u6301\uFF08String?? = String?\uFF09\u3002"@zh . . "En lenguajes de programaci\u00F3n (especialmente lenguajes funcionales), un tipo opcional es un tipo polim\u00F3rfico que representa la encapsulaci\u00F3n 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\u00EDo (llamado \"Ninguno\" o \"Nada\"), o un constructor que encapsula el tipo de datos original A (escrito \"Justo A\" o \"Alg\u00FAn A\"). Fuera de la programaci\u00F3n funcional, estos son conocidos como tipos anulables. \n* Datos: Q7099015"@es . . "It is unclear how this is the case, and there are no links to external references that explain this."@en . . . "July 2022"@en . . "Typ Optional \u2013 charakterystyczna funkcja w j\u0119zyku Swift, pozwalaj\u0105ca wskaza\u0107, \u017Ce dany egzemplarz mo\u017Ce nie przyjmowa\u0107 \u017Cadnej warto\u015Bci. Typ Optional mo\u017Cna zastosowa\u0107 z dowolnym innym typem w celu zasugerowania, \u017Ce egzemplarz mo\u017Ce przyjmowa\u0107 warto\u015B\u0107 nil. Dzi\u0119ki typom Optional j\u0119zyk Swift jest bezpieczniejszy. Egzemplarz, kt\u00F3ry mo\u017Ce przyj\u0105\u0107 warto\u015B\u0107 nil powinien zosta\u0107 zadeklarowany typem Optional. Z kolei, nie deklarowanie egzemplarza typem Optional zapewnia gwarancje nieprzyjmowania warto\u015Bci nil. Dzi\u0119ki tego rodzaju deklaracji kod staje si\u0119 bardziej ekspresywny."@pl . . . . . . "12464"^^ . . . . "Option type"@en . . . . . . . . "Tipo opcional"@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) \u2260 Maybe String), while nullable types do not (e.g. String?? = String?)."@en . . "En lenguajes de programaci\u00F3n (especialmente lenguajes funcionales), un tipo opcional es un tipo polim\u00F3rfico que representa la encapsulaci\u00F3n 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\u00EDo (llamado \"Ninguno\" o \"Nada\"), o un constructor que encapsula el tipo de datos original A (escrito \"Justo A\" o \"Alg\u00FAn A\"). Fuera de la programaci\u00F3n funcional, estos son conocidos como tipos anulables. \n* Datos: Q7099015"@es . . "Option\u578B"@ja . "\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3068\u578B\u7406\u8AD6\u306B\u304A\u3044\u3066\u3001Option\u578B\uFF08\u82F1\u8A9E: Option type\uFF09\u307E\u305F\u306FMaybe\u578B\uFF08\u82F1\u8A9E: Maybe type\uFF09\u306F\u5B58\u5728\u3057\u306A\u3044\u53EF\u80FD\u6027\u306E\u3042\u308B\u5024\u3092\u30AB\u30D7\u30BB\u30EB\u5316\u3057\u3066\u8868\u3059\u3067\u3042\u308B\u3002\u4F8B\u3048\u3070\u3001\u95A2\u6570\u306E\u623B\u308A\u5024\u304C\u5B58\u5728\u3059\u308B\u5834\u5408\u3068\u5B58\u5728\u3057\u306A\u3044\u5834\u5408\u3092\u8868\u3059\u305F\u3081\u306B\u3053\u306E\u578B\u306F\u4F7F\u7528\u3055\u308C\u308B\u3002\u3053\u306E\u578B\u306F\u7A7A\u307E\u305F\u306F\u30AA\u30EA\u30B8\u30CA\u30EB\u306E\u30C7\u30FC\u30BF\u578BA\u3092\u30AB\u30D7\u30BB\u30EB\u3057\u305F\u30B3\u30F3\u30B9\u30C8\u30E9\u30AF\u30BF\u304B\u3089\u69CB\u6210\u3055\u308C\u3066\u3044\u308B\u3002 \u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u4EE5\u5916\u306B\u304A\u3044\u3066\u3001\u5168\u304F\u7570\u306A\u308B\u304C\u95A2\u9023\u3059\u308B\u6982\u5FF5\u3068\u3057\u3066Nullable\u578B\u304C\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u6307\u5411\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u3067\u4E00\u822C\u7684\u3067\u3042\u308B\u3002Option\u578B\u3068Nullable\u578B\u306E\u4E3B\u306A\u9055\u3044\u306F\u3001Option\u578B\u306F\u30CD\u30B9\u30C8\u3059\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u306E\u306B\u5BFE\u3057\u3066\u3001Nullable\u578B\u306F\u3053\u308C\u306B\u5BFE\u5FDC\u3057\u3066\u3044\u306A\u3044\u3053\u3068\u3067\u3042\u308B\u3002"@ja . "1114321173"^^ . . . "\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3068\u578B\u7406\u8AD6\u306B\u304A\u3044\u3066\u3001Option\u578B\uFF08\u82F1\u8A9E: Option type\uFF09\u307E\u305F\u306FMaybe\u578B\uFF08\u82F1\u8A9E: Maybe type\uFF09\u306F\u5B58\u5728\u3057\u306A\u3044\u53EF\u80FD\u6027\u306E\u3042\u308B\u5024\u3092\u30AB\u30D7\u30BB\u30EB\u5316\u3057\u3066\u8868\u3059\u3067\u3042\u308B\u3002\u4F8B\u3048\u3070\u3001\u95A2\u6570\u306E\u623B\u308A\u5024\u304C\u5B58\u5728\u3059\u308B\u5834\u5408\u3068\u5B58\u5728\u3057\u306A\u3044\u5834\u5408\u3092\u8868\u3059\u305F\u3081\u306B\u3053\u306E\u578B\u306F\u4F7F\u7528\u3055\u308C\u308B\u3002\u3053\u306E\u578B\u306F\u7A7A\u307E\u305F\u306F\u30AA\u30EA\u30B8\u30CA\u30EB\u306E\u30C7\u30FC\u30BF\u578BA\u3092\u30AB\u30D7\u30BB\u30EB\u3057\u305F\u30B3\u30F3\u30B9\u30C8\u30E9\u30AF\u30BF\u304B\u3089\u69CB\u6210\u3055\u308C\u3066\u3044\u308B\u3002 \u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u4EE5\u5916\u306B\u304A\u3044\u3066\u3001\u5168\u304F\u7570\u306A\u308B\u304C\u95A2\u9023\u3059\u308B\u6982\u5FF5\u3068\u3057\u3066Nullable\u578B\u304C\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u6307\u5411\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u3067\u4E00\u822C\u7684\u3067\u3042\u308B\u3002Option\u578B\u3068Nullable\u578B\u306E\u4E3B\u306A\u9055\u3044\u306F\u3001Option\u578B\u306F\u30CD\u30B9\u30C8\u3059\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u306E\u306B\u5BFE\u3057\u3066\u3001Nullable\u578B\u306F\u3053\u308C\u306B\u5BFE\u5FDC\u3057\u3066\u3044\u306A\u3044\u3053\u3068\u3067\u3042\u308B\u3002"@ja . . . . .