Если вы удовлетворены подходом, специфичным для JVM, вы можете делать то, что вы делаете в Java:
(1..1000).forEach { println("%04d".format(it)) }
String.format
- это функция расширения, определенная в StringsJVM
, и она делегируется прямо в базовый String.format
, поэтому ее нет в универсальной стандартной библиотеке.