整数をTclの先行ゼロで文字列に変換するにはどうすればよいですか？

Question

私はTclを学んでいます。 Perlではこれを行うことができます：

$ perl -e 'for ($i = 0; $i < 5; $i++) { printf("name%03d\n", $i) }' 
name000 
name001 
name002 
name003 
name004 

Tclでこれを行うことはできますか？

Answer 1

はformatを参照してください：

$ tclsh 
% for {set i 0} {$i < 5} {incr i} { puts [format "name%03d" $i] } 
name000 
name001 
name002 
name003 
name004