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