>Perhaps the author has very narrow experience in programming languages.

I got that impression as well.

Xi's impressed about types being optional because they can be inferred.

That's ... hardly a novelty ...