Pemilihan Pada Ocaml
Pemilihan membagi ruang batasan ekspresi untuk dijalankan.
OCaml memiliki ekspresi pemilihan, Pemilihan memberi kondisi untuk memilih eksekusi ekspresi tertentu.
Ekspresi if mengevaluasi ekspresi bool untuk menjalankan ekspresi tertentu, pilihan ada pada hasil ekspresi bool untuk menentukan.
Pemilih menggunakan ekspresi if, berikut pembangkitnya.
if <ekspresi bool pembatas> then <ekspresi dieksekusi jika true>
else <ekspresi dieksekusi jika false>
<ekspresi bool pembatas> merupakan ekspresi yang menghasilkan nilai benar/salah (bool), then menjadi pemisah antara ekspresi pembatas (kondisi) dan ekspresi jika benar (true).
Berikut contoh
if 2 > 1 then print_endline "2 lebih besar dari 1"
else print_endline "1 lebih besar dari 2";;
Ekspresi pembatas di atas menghasilkan nilai true (2 > 1) kemudian menjalankan ekspresi jika benar (print_endline "2 lebih besar dari 1").
Namun bila kondisi pembatas di balik (1 > 2), maka menjalankan ekspresi jika salah (print_endline "1 lebih besar dari 2").
Kondisi pemilihan dapat bersifat tunggal (tanpa else) maupun jamak (dengan banyak if).
Bentuk kondisi tunggal
if (4*3) = 12 then print_endline " hasil 4 dikali 3 ialah 12";;
Bentuk kondisi jamak
if 3 > 2 then print_endline "3 lebih besar dari 2"
else if 3 > 1 then print_endline "3 lebih besar dari 1"
else print_endline "3";;
Kondisi jamak memberi kembali ekspresi if pada else untuk menyambung dengan kondisi tidak terpenuhi sebelumnya.
Namun sekali kondisi if terpenuhi tidak akan meneruskan pengecekan rantai kondisi selanjutnya.