Rename `times` to `cross`
まだ誰も着手していません。
評価
調査の方向性
この issue では、times を cross に名前変更すると同時に、代替として両方の名前をサポートすることを提案しています。ファイル、テスト、エントリポイントは特定されていません。まず 6 件のコメントからなる議論を確認し、既存の times、infinity、oo シンボルの定義と参照を特定してください。合意された命名の方向性が決まり、影響を受けるシンボルが一貫して扱われれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Pro:
- Easier to discover (at least in my experience), esp. if you already know that
dotrefers to a multiplication dot, then I'd expect to find the multiplication cross under the according name. - Nicely parallels the naming between cross and dot product.
timescould mean any kind of multiplication symbol;crossis more descriptive (esp. considering differing conventions, like in Germany, where the typical "times" symbol is almost always a dot).
Con:
- Precedent of HTML using
×, LaTeX using\times, and codepoints likeU+2297 CIRCLED TIMESin Unicode. - Might be assumed to refer to
crossmarkor similar. - Obviously quite breaking.
Concerning the last point, an alternative could be to support both names, similar to infinity and oo coexisting. I'm unaware if this proposal has been discussed and/or declined in the past.
- 主要言語
- Rust
- スター
- 53
- フォーク
- 22
- PR マージ指標
- 30日以内にマージされた PR はありません
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
typst/codex のほかの issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
Lack of ⊻ U+22BB オープンproposal
難易度 2/5 1〜3時間 初心者へのやさしさ 45/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
bug core
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
-
JIT-compiled number -> Decimal conversion silently overflows instead of raising DECIMAL_OVERFLOW オープンfuzz
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
ClickHouse/ClickHouse#122114 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 92/100
linebender/vello_svg#90 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100