OCaml において,以下のような場合は未使用変数の警告が出ますが,
$ ocaml
OCaml version 4.04.0
# let x = 1 in 1;;
Warning 26: unused variable x.
- : int = 1
次のような場合は未使用変数の警告が出ません.
$ ocaml
OCaml version 4.04.0
# let f x = 1;;
val f : 'a -> int = <fun>
この違いが気になったので調べてみました.