3

ユニオン型と交差点型とは？

私はこの質問を参考にしましたが、いくつかの小さな作業タイプのシステムの方が優れており、実用的なシステムは必要ありません。

具体的には、共用体型とは、このブログ投稿で言及されている 合計型ではなく、疑似コードが次のようになっているものを指しています。

{String, null} findName1() {
  if (...) {
    return "okay";
  } else {
    return null;
  }
}

ウィキペディアのページには、交差タイプと共用体タイプに関する簡単な説明がありますが、これに関する参照はこれ以上ないようです。

4

3 に答える 3

1

型は値のセットと見なすことができます。たとえば、が値とBooleanのセットである場合、ある値に型があるということは、それが値またはのいずれかであることを意味します。truefalseBooleantruefalse

Stringのような一部の型は、無限に多くの可能な値を持つことができることに注意してください。

ご存じのとおり、和集合と交差は集合演算であるため、型にも適用されます。たとえば、タイプ T1 = {male, female} と T2 = {not-applicable} がある場合、タイプ T3 = T1 \union T2 = {male, female, not-applicable} を作成できます。このタイプが役立つ例は、「最初に生まれた子供の性別は?」という質問への回答です。子供がいない人もいるので、「該当なし」と答えるかもしれません。

于 2013-07-17T14:00:33.173 に答える