lean-ja / lean-ja/lean-by-example
#eval は式の評価だけをするわけではない
Open
Nobody has claimed this yet.
バグ・誤り・不備
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
#eval IO.print hello を実行したときにハローと表示されるけど、これは式の評価ではない。
つまり、"hello" = IO.println "hello" ではない。
IO アクションを実行して、その結果を表示していることに注意する。
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 from the #eval example using IO.print hello and compare it with the IO.println example described in the issue. Update the relevant example or explanation so it distinguishes evaluating an IO action from displaying its result, then verify that the documentation accurately reflects the observed output.
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
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100