how would that look with type inference?

You can write

var x = 5

how would that work if the type had to be first? Languages that added inference later tend to have “auto” as the type which looks terrible.