Hacker News Reader

The term you’re looking for is “type inference”, where the compiler determines the type of a variable automatically at compile time.

I think he's referring to not having to explicitly declare if some type implements any interfaces.