Another neat OCaml feature: the type of a partially applied printf call reflects the format string used! Not many statically typed languages have this property.