What is type inference in generics?

What is type inference in generics?

Type inference in generics allows the compiler to automatically deduce the type parameters based on the context, making code cleaner.

Can you give me an example of type inference with generics?

Sure! In a function like function identity<T>(arg: T): T { return arg; }, the type T is inferred from the argument passed.

How does this improve code readability?

It reduces the need for explicit type annotations, making the code less cluttered and easier to understand.

Are there any limitations to type inference?

Yes, type inference can sometimes lead to less specific types, which may not catch certain errors at compile time.