プログラミングの基礎 ＞ 第2章　基本的なデータ

2.4　真偽値 †

真偽値は、「真」または「偽」を表す値です。

OCamlの

• 真は「true」
• 偽は「false」
  で表します。

• 真偽値の型は「bool」です。

論理演算子 †

OCamlで定義されている論理演算は３つあります。

• 「&&」は「かつ」
• 「||」は「または」
• 「not」は「否定」
  を表します。

論理演算子の優先順位 †

四則演算子では、乗除算が加減算よりも先という優先順位があります。
論理演算子では、

1. 「not」は「否定」
2. 「&&」は「かつ」
3. 「||」は「または」
   の順で優先順位がついています。

比較演算子 †

OCamlの比較演算子には、

• 「=」等しいか
• 「<>」等しくないか

• 「>」より大きいか
• 「<」より小さいか

• 「>=」以上か
• 「<=」以下か
  があります。

同値を表す「=」の記号が特徴的ですね。
他のプログラミング言語では「==」（等価演算子）とか「===」（厳密等価演算子、同値演算子）とかの記号になってる場合がありますが、OCamlは「=」です。

型の区別 †

OCamlの比較演算子は、すべてのデータに対して使うことができます。
しかし、比較する２つのデータが、違うデータ型の場合は比較することができません。（比較演算がエラーになる）
比較する２つのデータが、同じデータ型の場合に比較することができます。

データの順番 †

OCamlでは。同じ型であればすべてのデータについて順番が定められています。
一見すると比較できないような値に対しても予め順番が定められています。

（例）bool型

true > false

として定義されています。
（trueを1、falseを0とイメージした場合、true > falseは1 > 0のようになるので、何となく妥当なかんじがしますね？）

比較演算子の使用例 †

OCaml version 4.07.1
# 2 < 3 ;;
- : bool = true

# true > false ;;
- : bool = true

# "z" > "a" ;;
- : bool = true

# 2 < 3.0 ;;
Error: This expression has type float but an expression was expected of type int