Class/member

(Class/member args...) (Class/FIELD) (Class/.method target args...) (Class/new args...) と裸の Class/member 値

静的メソッドを呼びます。引数なし -- (System/currentTimeMillis) または (. System currentTimeMillis) -- では、ホストクラスにあれば引数なし静的メソッド、 なければ静的フィールドを読みます（(Integer/MAX_VALUE) や (. Math PI) は フィールドを読みます）。裸の Class/member 値は、ホストクラスにあれば静的 フィールドを読み、なければ静的呼び出しへアリティ毎に振り分ける関数を答えるため、 (every? Character/isWhitespace s) が動きます。可変長のみのメンバーは拒否されます。 オーバーロードがどれも真偽値を答える静的呼び出し・メンバー値は true/false を 答えます。クラスはドット付き・インポート済み・java.lang のいずれでも解決されます。 ロード可能なクラス名単体（String）はクラスオブジェクトで、 (Class/forName "java.lang.String") と等しく、文字列への .getClass も同じものを答えます。 クラスオブジェクトはオラクルと同じくクラス名（java.lang.String）で表示され、 str はその toString（class java.lang.String）を答えます。 インタプリターと JVM でのみ動作し、wasm バックエンドは java: を拒否します。

Class/.method はインスタンスメソッドです。呼び出し位置では最初の引数が対象で、 (.method target args...) と同じです。値としては対象を最初に取る関数で、 そのクラスの public なインスタンスメソッドのアリティ毎に振り分けます（該当する メソッドがない名前はプログラムを読む時点で拒否されます）。Class/new は コンストラクタで、呼び出し位置でも値でも (Class. args...) と同じです。レコードと deftype の R/new は位置引数のコンストラクタです。これらの前に ^[types] の パラメータタグを付けるとオーバーロードを指定でき、値はちょうどその個数（と対象）の 引数を取ります。タグはクラス名、プリミティブ、プリミティブ配列と Object 配列を表す ints/longs/... と objects、N 次元配列を表す T/N、任意の型を表す _ の いずれかです。タグ付き呼び出しの引数の個数がタグと違うと、プログラムを読む時点で 拒否されます。