型推論とユニオン型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/15 16:52 UTC 版)
「Crystal (プログラミング言語)」の記事における「型推論とユニオン型」の解説
以下のコードは、型が異なる要素を含む配列 (ユニオン型の配列) を定義している。Crystalでは、配列に型が異なる要素を含めることができ、個々の要素の型から共用体を自動的に生成することができる。 desired_things = [:unicorns, "butterflies", 1_000_000]p typeof(desired_things.first) # typeof はコンパイル時の型である (Int32 | String | Symbol) を返すp desired_things.first.class # クラスメソッドは実行時の型である Symbol を返す
※この「型推論とユニオン型」の解説は、「Crystal (プログラミング言語)」の解説の一部です。
「型推論とユニオン型」を含む「Crystal (プログラミング言語)」の記事については、「Crystal (プログラミング言語)」の概要を参照ください。
- 型推論とユニオン型のページへのリンク