What are some examples of type inference in programming?

What are some examples of type inference in programming?

Type inference is when a programming language automatically deduces the type of a variable. For example, in languages like Haskell or TypeScript, you can declare a variable without explicitly stating its type, and the compiler infers it based on the assigned value.

Can you give me a specific code example?

Sure! In TypeScript, you can write:

let num = 42; // TypeScript infers 'num' as a number

Here, you didn't specify the type, but TypeScript knows 'num' is a number.

What are the benefits of type inference?

The benefits include reduced verbosity in code, improved readability, and fewer type-related errors since the compiler can catch issues during development.

Are there any languages that don't support type inference?

Yes, some languages like Java require explicit type declarations, although newer versions have introduced some type inference features.