シェルから拝借した${sv}という書き方の延長で
@{av}という書き方もできるのね。
これはスライスにも適用可能。@{av[0,1]}、@{hv{1,3}}

あと、@av->[0]と関係あるかどうかは分らないけど、
av->[0]と@を省略してもOK。