Avoiding manual conversion step & autocompletion
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 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 分钟
- 30 天内合并 PR
- 4
贡献指南
这个仓库没有索引到贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
leanprover/lean4-cli 的其他 Issue
-
难度 3/5 1-2 天 新手友好度 52/100
leanprover/lean4-cli#89 ·
查看 leanprover/lean4-cli 的全部 Issue
相似的 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 75/100
stephrobert/dsoxlab#238 ·
-
难度 2/5 1-3 小时 新手友好度 75/100
sublimehq/package_control#1779 ·
-
难度 2/5 1-3 小时 新手友好度 65/100
-
难度 2/5 1-3 小时 新手友好度 70/100
nwg-piotr/nwg-displays#145 ·
-
enhancement
难度 2/5 1-3 小时 新手友好度 65/100