C++17では非推奨だったbool型に対するインクリメント演算子の利用が不可能に | スラド デベロッパー

2017/07/20 11 users スラド true デベロッパー 変数 代用

C++言語の新標準規格である「C++17」では、bool型に対する++演算子が利用できなくなるそうだ（ cpprefjp - C++日本語リファレンス ）。今まではbool型の変数に対し++演算子を適用すると、その変数の値をtrueにするという仕様となっていた。 なお、C言語にはbool型が存在しないため、int型をbool型の代用として使用することが良くあった。この場合、C++の仕様と同様に++... 続きを読む

PHPの比較とBOOL/NULL型の話

2013/11/13 39 users bool false バグレポート null min

先日、10年以上勘違いをしていたことがPHPの開発者MLで議論して発覚したので、その大恥を披露します。 PHPの比較とBOOL/NULL型の話です。 事の発端はmin関数で var_dump(min(-100,-10, FALSE( or NULL), 10, 100); とするとFALSE（またはNULL）が返ってくる、というバグレポートからでした。 PHPのBOOL型は var_dump(TR... 続きを読む

ラムダ計算で代数的データ型を表現する方法 - Meta reifier @syamino

2012/05/24 70 users false ラムダ計算 true 引数 関数

ラムダ計算ラムダ計算でEitherEither型の値をパターンマッチする状況を考えます。「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool今度は，Bool型の値をパターンマッチする状況を考えます。TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」パ... 続きを読む