OCamlの流儀を「文とブロック」というC言語的な仕組みに持ち込んだときにそういう独自の構文になったという経緯だと理解している。確かにほかで見ない解釈ではあるので、はじめて触った人がキレること自体は仕方ないと思う