リストの特定のインデックスに続くすべての要素を取得したいと思います。これは次のように記述できます。
set foo {0 1 2 3 4 5 6 <...> n}
puts [lrange $foo 1 [llength $foo]]
ただし、リストの長さを計算するのはもったいないようです。lrange への最後の引数がオプションで、それを省略するとリストの最後まで続くようになればいいのですが、残念ながら現在はそうではありません。
リストの長さを計算せずに Tcl でこれを効率的に行う他の方法はありますか?