lean-ja / lean-ja/lean-by-example
GetElem の範囲アクセス版はないのか
Open
Nobody has claimed this yet.
メモ
型クラス
要調査
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
L[x: y] みたいな記法をサポートしてほしい願望がある。
(あるとしたらどう定義されるべきだろうか？）
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No files, tests, or entry points are named. The issue requests range-access syntax such as L[x:y] and asks how it should be defined; first establish the intended semantics and locate the relevant GetElem implementation before proposing tests. Done would require an agreed definition and corresponding implementation and coverage.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100