Inferring type of zero-sized collection from usage

[SuaveSteve]

Hello!

So, I was wondering if something like this would be a viable and sensible 
feature:
    
    
    var a = @[]
    a.add "hello"
    echo a.type # seq[string]
    
    
    Run

I have been googling but can't find a language that does this.