[edflsafoiewq]

If you accept f(g()), you've already accepted that the type of every expression is not written down.

[foooorsyth]

I don’t particularly accept f(g()). I like languages that require argument labels (obj-c, swift). I would welcome a language that required them for return values as well. I’d even enjoy a compiler that injected omitted ones on each build, so you can opt to type quickly while leaning on the compiler for clarity beyond build time.

[gpderetta]

Argument labels are equivalent to variable names. You still have them with auto. In either case you don't see the actual type.