あるからコンパイル時に型チェックが行われる。これは別にすべての宣言において型も宣言せよということではない。型推論をやってくれるし、それで普通は適切に処理される。定数宣言や変数宣言時に初期値を与える場合は特に便利。数値リテラル整数リテラルは以下の4つがある。)浮動小数点リテラルは以下の2つがある。プレフィックスなしの10進数。いうプレフィックスの16進数。)数値リテラルは、整数であれ浮動小数点数であれ、読みやすくするためにゼロパディングとアンダースコアが使える。整数型の様々な型は、型によって保存できる値の範囲が異なるので、数値型変換はケースバイケースで対応する必要がある(ので隠れた変換エラーを予防することができ、明示的に型変換する助けになる、らしい)。受け入れるイニシャライザを持っているからであって、何でもかんでも型名を書いてかっこでくくればよいというものではない。イニシャライザが受け入れ可能な型に限られるのである。Extension」参照)。整数と浮動小数点の変換は明示的に行う必要がある。Aliases型エイリアスは文字通り型の別名。いうキーワードを使って定義する。これは、既存の型に対し、文脈上もっと意味のある名前をつけるときなんかに便利(かもしれない)。文みたいな条件文を扱う時に特に便利(と言うかそういうところで使う)。複数の値をひとつの複合値にグループ化するものである。内の値はどんな型でもよく、同じ型である必要もない。中の値に名前をつけることもできる。個々の定数や変数に分解も可能。分解時に不要な部分はアンダースコアを使うことができる。ゼロから始まる番号でもアクセス可能である。関数の戻り値として使うときに便利である。一時的に関連する値をまとめておくのにも便利。一時的でない場合はクラスや構造体を使うべし。値がまったくないかもしれないという場合に使う。以下の2通りの状態が取れる。これはどんな型にも使える。