キャッシュ

Yulang は compiler の artifact をキャッシュします。 プログラムの実行結果はキャッシュしません。 各 run は、必要な artifact を見つけるか作り直したあとで、通常どおりプログラムを実行します。

realm は version 付きの解決空間であり、band は realm 内の import / build の島です。 module は band の中にあり、bare path は band 境界を越えません。

local ファイルでは、realm.toml が explicit editable realm を示します。 realm.tomlが見つからない場合、entry ファイルの親 directory が implicit editable realm になります。 entry ファイルは root module のままですが、main.yu なら main のように、source path由来の band path も持ちます。

artifact の種類

Artifact	保存するもの	効く場面
.yucu	構文、名前空間、型、runtime surface	標準ライブラリや変更していない依存 module の再利用
.yuir	推論済み principal poly IR	完全に同じ source set を、推論なしで再実行する
.yumo	specialize 済み mono IR	mono command の再実行や、同じ source set から control IR を作り直す
.yuvm	lower 済み control-IR プログラム	完全に同じ source set を、specialize / VM lowering なしで再実行する
.yures	realm / band の解決結果	source-site の realm import を、cached target fingerprint で確認する

増分コンパイルで重要なのは .yucu です。 これは "Yulang compiled unit" の略です。 キャッシュ済み .yucu は prefix として import できるため、Yulang はその prefix に含まれないsource ファイルだけを再コンパイルできます。 .yucu の構文 surface は band path を記録するため、cached prefix から realm/main::* や band::inner のような route-aware import を解決できます。

.yumo は exact source key のキャッシュです。 realm 全体に対する mono キャッシュではありません。 Yulang は同じ source / resolution context に対してだけ再利用します。

.yures は解決結果の記録で、compiled コードではありません。 local な realm/...::... import では、cached entry が deterministic な local <realm>/<band>.yu path を指し、source fingerprint も一致する場合だけ使われます。 そうでない場合は通常の filesystem resolver に戻ります。 install 済み local realm の local/<name>/<band>::... import では、resolved snapshot のrealm/version と target source fingerprint を記録し、installed snapshot が一致する場合だけ使います。

route label

どの経路を使ったかは --runtime-phase-timings で見られます。

yulang run --runtime-phase-timings path/to/file.yu

run.cache には次のような値が出ます。

Route	意味
disabled	この run ではキャッシュの read と write を無効化
source-key-control-hit	現在の source-key index から exact .yuvm hit
control-hit	exact .yuvm hit
poly-hit	exact .yuir hit
compiled-unit-hit	exact full-source .yucu hit
std-prefix-hit	標準ライブラリの .yucu prefix を再利用
std-prefix-build	標準ライブラリ prefix を作ってから再利用
source-unit-prefix-hit	1 つの依存 prefix を再利用
merged-source-unit-prefix-hit	複数の独立 prefix を merge して再利用
full-miss	source から fresh compile
error-fallback	exact .yuir の read に失敗し、source からの compile に fallback

ローカル編集で重要なのは std-prefix-hit、source-unit-prefix-hit、merged-source-unit-prefix-hit です。 これらは、変更していない prefix を飛ばして、残りの suffix だけを compile したことを表します。

キャッシュ command

yulang cache path
yulang cache stats
yulang cache clear

1 回だけキャッシュを使わずに実行する場合は --no-cache を付けます。

yulang run --no-cache path/to/file.yu

古いキャッシュや壊れたキャッシュは、言語エラーではありません。 Yulang はその artifact を飛ばし、source から compile し直します。

--no-cache は source collection 中の checked realm-resolution キャッシュ lookup も無効にします。

release installer は embedded std source を install したあと、最終 install path を使って標準ライブラリの .yucu prefix を一度 seed します。 これにより、その後の CLI run とキャッシュ key が一致します。 install 時のキャッシュ warmup を省く場合はYULANG_NO_SEED_CACHE=1 を設定します。

現在の制限

キャッシュは保守的です。 繰り返し実行やローカル編集では速くなりますが、clean build ではparser、lowering、型推論、runtime lowering の費用をすべて払います。

local editable realm/band identity route は有効です。 realm/...::... import、entry-band alias、yulang realm install で作る installed local local/<name>/<band>::... import も含みます。 global package workflow はまだ実験段階です。 remote provider、version-family solving、yulang.lock、registry/git source policy は stable なユーザー workflow ではありません。