メンバからアクセス可能だ。トレイトにて定義されている。型の典型的な用例としては型の適合性の検査や、メンバの問い合わせがある。3つに大別すると以下のようになる:2つの型の間のサブタイプ関係の検査。2つの型の間の等価性の検査。渡された型の特定のメンバや内部型の問い合わせ。用いて簡単に一方がもう片方のサブタイプであるかを調べることができる。チェックするのに使われることに注意。これは典型的には数値型を取り扱う際に重要となる。いくつかの状況では、より一般的な適合性関係を用います。if-式の型は弱い適合性によって決定されている。if-式の型だと推論される。メソッドは弱い適合性をチェックすることに注意してほしい。2つの型の等価性を簡単に検査することができる。メソッドを使うことでそれらが全く同一のコンパイル時型を表記しているかを調べることができる。true両方のインスタンスの型情報が寸分違わず一致している必要があることに注意してほしい。使う必要があることに注意してほしい。異なる型であると間違った結果を出している。全てのフィールド、メソッド、型エイリアス、抽象型、内部クラス/オブジェクト/トレイトなどが含まれる。メンバのみが含まれる。メソッドを使うだけでいい。メソッドを照会するには以下のようにする。渡していることに注意してほしい。Self型の全てのメンバや宣言を面白い方法で照会することもできる。馴染み深いコレクションに対する高階関数を使って型のメンバを探検することができる。抽象構文の基盤となっている。