implication

梶本裕介 @uskz

C++さんbool値同士のp <= qが短絡評価されないのでp ? q : trueとか!p || qとか書くの泣ける

鯉江 @koie

boolに大小関係があるのにびっくりした RT @uskz: C++さんbool値同士のp <= qが短絡評価されないのでp ? q : trueとか!p || qとか書くの泣ける

梶本裕介 @uskz

@koie なぜか!=が排他的論理和なこと知らないプログラマはよく見かけますが<=が含意なことを知らないプログラマはそれ以上に多いような気がします・・・

鯉江 @koie

@uskz <=はこのまえhaskell本を読んでしったところでした。でも矢印の向きが逆なのがいかんです。

梶本裕介 @uskz

@koie 矢印ではなくそのまま比較演算子と見れば含意はBoolean latticeの半順序なので自然だと思いますが