lean-ja / lean-ja/lean-by-example
構造体と型クラスの使い分けについて書く
Open
Nobody has claimed this yet.
データ型
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
- 構造体の方が良い場面
- 型クラスの方が良い場面
Mathematics in Lean にこれに関連する記述があるからそれを参考にする。
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
Start by reading the related discussion in Mathematics in Lean and compare its treatment of structures and type classes. Document when structures are preferable and when type classes are preferable, using the issue's two requested topics as the completion checklist.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100