lean-ja / lean-ja/lean-by-example
FBIP は Array だけでなく List にも関係がある
Open
Nobody has claimed this yet.
メモ
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
Functional But in Place は Array について言及されることが多いが、すべてのデータ型に関係がある話である
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 repository file or test is named. Start by locating the documentation that discusses Functional But in Place and read the linked Zulip discussion about folding over Array versus List. Done means the explanation no longer presents FBIP as Array-specific and covers its relevance to List and other data types.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100