最近の検索
検索オプション
そもそも比較演算子も boolean を返す演算子なんだから、
「v が true と等しいことを確認する」を v == true と書くなら、それは結局「v == true という演算の結果が true と等しいことを確認する」ことでもあるんだから (v == true) == true と書かなければ筋が通らないし、以下略
(((v == true) == true) == true) と書かないのに v == true と書くのは一貫性がないでしょう
a == b を「事実の表明」か何かだと勘違いしているのかもしれないが、そんなものはない。ただの比較演算子です
まあ数学の文脈を引き摺っているのだとしたら多少は同情するけど、いや論理学というものがあってね……
@lo48576@mastodon.cardina1.red Haskellとかなら事実の表明よ、これが成り立つなら中括弧の内側は成り立つという事実になるのだから。