lean-ja / lean-ja/lean-by-example
ある String が他の String の部分文字列であることを確かめる関数がない？
Open
Nobody has claimed this yet.
データ型
要調査
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
String.contains は Char に対するものになっていて、２つの String に対するものではない。なぜない？
パフォーマンス上の理由などがありそう。String は Array などと同様にコンパイラによって実装が上書きされている型なので、難しいことがあるのかもしれない。
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
The issue names String.contains, String, and Array but no repository file or test. Start by locating the existing String.contains API and the compiler-backed String implementation; determine whether substring containment belongs in the API, and define the intended behavior and verification needed for completion.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100