lean-ja / lean-ja/lean-by-example
Format と String の違いについて
Open
Nobody has claimed this yet.
データ型
メモ
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
String は文字列なので \n （改行コード）を含む文字列を #eval すると \n がそのまま表示されるが、
ToFormat.format 関数をかませてから #eval すると改行として表示される。
Format は pretty print のためのデータ型であるということを示す示唆的な例（しかし、pretty print とは…？）
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
Reproduce the issue's String and Format examples using ToFormat.format and #eval, then compare how the newline is displayed. Document the distinction between String and Format and explain what “pretty print” means, using the observed behavior as the completion check.
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
- 38/100