要するに、パッケージマネージャが解決したファイルパスを返却するのではなく、読み込んだソースファイル自体を返却する方式の方が、コンパイラをファイルシステムから可能な限りagnosticな実装にできるのではないかという話なんですが(そもそものメインのファイルシステムの読み込みの時点でまあファイルシステム依存しちゃあいるのですが)。今後読み込むソースの数が増えたときに並列処理に通用するかとか、あとAoTコンパイルしたバイナリキャッシュの扱いどうすんだみたいな話もありますが。
コンパイラにファイルシステムを意識してもらうのはコンパイル以外のことをする感じになりますものね…
コンパイラに渡すものって、ソースコードを何かしら構造化した形(内容とモジュール名と…のような）で渡すイメージであってます？
Webに移植した時とかにこういう分割されたモジュールどう引っ張ってくるかとかも同じように問題になってくるんですよねー
この文章の意味がいま完全理解されました！ たしかにこの意味でも、コンパイラのコアはファイルシステムに依存するべきではないですね。
datプロトコルという、もともと生物学系のとでかいデータ扱うように作られた完全p2pの面白いプロトコルがありまして、diffとかはきちんと取らないけどバージョン管理はできるというものなので、後々これ導入してみたいなとは思ってたり https://en.m.wikipedia.org/wiki/Dat_(software)
それにしてもdatなるものが。これすごいですね。たしかに後々によさそうです。
今本格的にRustに実装を移す構想を考えてるんですが、構文がすでにRustと似ている分、パーサを手動で実装せずに手続きマクロでRust上に直接DSLとして構築できてしまうんでは？ということを考えています https://techracho.bpsinc.jp/yoshi/2020_12_24/102304
そしてなんとなく雰囲気を感じてましたがRustへ移行するのですね！ Rustのproc macro強力なので、できそうですね…！
博論のほう応援しています！ ぼくのほうも本格実装後の貢献や賑やかしができるよう、コンピュータ音楽やらデジタル信号処理やらの研鑽を積んでおきます。