Avoiding manual conversion step & autocompletion
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 25/100
- issue の種類
- 機能追加
- 明瞭さ
- 説明が足りない
- 活発さ
- 停滞
- 領域
- cli
調査の方向性
まず、Parsed 値、設定マクロ、最終的な変換ステップに関するライブラリの現在の API を読みます。完了の定義は、余分な変換をなくし、オートコンプリートを追加する型安全な出力構造としますが、この issue では対象ファイルや実行するテストは指定されていません。
索引モデルが issue の本文から書いたものです。
説明
When I have time to work on this again (in ~2 months), I'd like to adjust the API so that no extra conversion step is necessary at the end and work on autocompletion.
For the former, a macro approach could work well, where a type-safe output structure is generated either from a Parsed value or even directly at the start using the configuration macro. The library does not really track the real type right now, so the latter should be safer.
- 主要言語
- Lean
- スター
- 120
- フォーク
- 30
- 平均マージ
- 5分
- マージ済み PR（30日）
- 4
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
leanprover/lean4-cli のほかの issue
-
難易度 3/5 1〜2日 初心者へのやさしさ 52/100
leanprover/lean4-cli#89 ·
leanprover/lean4-cli の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
vercel-labs/just-bash#464 ·
-
looksLikeSlug() is ASCII-only, so non-Latin entity slugs (e.g. Korean) skip exact match and collapse オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
bug
難易度 1/5 1時間未満 初心者へのやさしさ 85/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
vercel-labs/skills#2291 ·
-
setup tools wizard offers no GitHub auth path, and setup summary doesn't recognize `gh` CLI auth オープンarea/auth comp/cli P3 tool/skills type/bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
NousResearch/hermes-agent#121131 ·