lean-ja / lean-ja/lean-by-example
LawfulApplicative を紹介する
Open
Nobody has claimed this yet.
型クラス
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
Applicative 則があることによって、「関数適用の一般化」であるという意味論が保証されるということを説明する。
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 locating the relevant LawfulApplicative section or nearby examples in the lean-by-example book, then read the surrounding explanation of Applicative. Expand the documentation to explain how the Applicative laws support the meaning of generalized function application, and verify that the resulting section is clear and consistent with the book.
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
- Mostly clear
- Newbie friendliness
- 45/100