bouzuya https://blog.hatena.ne.jp/bouzuya/ bouzuya.hatenablog.com https://bouzuya.hatenablog.com/ 東京。帰り。新幹線。 Rust の bool が Ord を実装していて assert!(false < true) だった。 false と true を数値にすると 0 と 1 に対応してその順序関係 (0 < 1) と矛盾しないから、とかいろいろ出てくる。なぜ false が 0 なのかを調べると C 言語などとの互換性やブール代数と整数演算の一致などが出てくる。だから何という話ではあるけどいろいろ理由があって面白い。 今日のコミット。 nom-ics 1 commit Add boolean 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbouzuya.hatenablog.com%2Fentry%2F2025%2F04%2F01%2F230720" title="帰りの新幹線 / bool の Ord - bouzuya.hatenablog.com" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-04-01 23:07:20 rich https://bouzuya.hatenablog.com/entry/2025/04/01/230720 1.0 100%