lean-ja / lean-ja/lean-by-example
unsafe がいつ遺伝していつ遺伝しないのかの判定方法を書く
Open
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
unsafe は遺伝する…と思わせておいて意外と遺伝しない。どういうときに遺伝しないのか調査する。
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
Investigate Lean's unsafe propagation rules, focusing on when unsafe is inherited and when it is not. Document the observed cases and the method for determining whether unsafe propagates. The issue names no files, tests, or entry points, so locate the relevant language reference or examples before starting.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Documentation
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 38/100