[juloo]

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.

[tome]

Which printf in Haskell are you thinking of? This one doesn't fit your description, for example:

https://www.stackage.org/haddock/lts-18.0/base-4.14.1.0/Text...