Rhodolite

関数呼び出しを跨いで依存の要求を伝播させ、呼び出し側の中継コードを増やさずに実装を差し替えられる独自言語。 DIコンテナをライブラリとして追加するのではなく、要求の推論と提供を言語の意味論として設計している。

Rustでlexer・parser・型付きHIR・所有権検査・インタプリタ・CLIを実装。 到達した関数を実装の組み合わせごとに特殊化し、Core WebAssemblyへ直接生成するバックエンドも備えている。

設計の中心部分は自分で実装し、判断の背景をADRとして記録することで、処理系の仕組みと設計意図の両方を説明できる開発を目指している。