要は、型で意図を表明しろという話で、別にBooleanに限った話ではない

Booleanばかり取り沙汰されるのは、具体例としてわかりやすいから、ぐらいだと思う

Boolean 型は情報量が薄すぎる

使用を避けることも検討しよう、という

代数的データ型があると代替しやすい

変数名や、関数名に頼るしかない

それでも良くない？ともいえる

後に3つ以上の選択肢が出てきた時に拡張できない

命題を表す時に、返り値をBooleanにしがちだが、

命題が真であることと、命題が真と等しい、というのは意味が異なる

命題(assertion) == 真(データ型)ではない

型が異なるので、比較する時点でおかしい

2つの式 e と e' があって、

e == e' だったとき、

これは式 e と e' が等しいことを表すわけでない

返り値の値が一緒だっただけ

なんか別の話な気がするな、これはまあいいや