名前付きタプル（named tuple）は、タプルの各要素に名前を付けられるものだ。連想配列のようなものかと思ったけど、辞書（dictionary）というのが別にあるので、ちょっと違うらしい。…

タプルのリテラルは、 (1, 2, 3) のように ( ) で値をくくったものだ。…

抽象型のパラメトリック型は、次のように定義する。…

型の階層構造は <: 演算子を使って確認できる。…

Union 型は特殊な抽象型で、複数の型の和集合を表す。…

パラメトリック型とは、他の言語でジェネリクスとかテンプレートとか呼ばれている機能と似たものだ。…

多重ディスパッチとは、引数の型や数が違う同じ名前の関数を定義することができ、それが使用されるとき、引数の型や数によって適切なものが適用される仕組みのこと。…

複合型は構造体のようなものだ。実際、 struct キーワードを使って定義する。…

nothing は Nothing 型の唯一のオブジェクト（シングルトンオブジェクト）で、「なにもない」ことを表す。…

Julia の型は、具体型（concrete type）と抽象型（abstract type）に分けられる。…