6
私はLean定理証明者と一緒に作業しています。スタックのような機能を構築し、ライブラリキャッシュを構築したいと考えています。私が確信していることは、キャッシュ内の古いパッケージをいつ削除するかということです。 3.3.0と3.3.1という2つのバージョンのLeanがインストールされている場合、それらのパッケージで動作するすべてのパッケージのすべてのバージョンを保持すると主張できます。リーン構文は高速に動くので、非常に制限的です。スタックはどのくらいパッケージをキャッシュに保持しますか？
一方、私は、任意のパッケージのわずか10バージョンを維持することがわかりました。これは、最新の10個のバージョンまたは10個の最も最近要求されたバージョンである可能性があります。
stackと関連するツールを構築する際に考えられているアイディアの一部を知りたいと思います。
：あなたのためのキャッシュの削除を扱う
stackコマンドが開発中です「実質的にインストールされた」パッケージのパッケージの数が非常に高くなり、誰も賢明でない人は、最も最近使用されたパッケージをアンインストールすることができます。 – dfeuer