Printf is type-safe in Haskell and OCaml. The format-string is not a regular string, it must be literal and is type-checked specifically.