La inferencia de tipos, es una característica de los lenguajes funcionales y consiste en la capacidad que tiene
el compilador de predecir el tipo de una operación, método, asignación,
etc., según los datos facilitados por el desarrollador dentro de la misma
sentencia. Este proceso siempre se presenta en tiempo de compilación.
Esta novedad se dio por primera vez dentro del Framework 3.0, una entrega de
framework muy poco utilizada y sin correspondiente versión de Visual Studio, por lo que muchos lo
señalan como novedad del framework
3.5.
Normalmente la inferencia de tipos se suele achacar a los
tipos anónimos (var), pero nosotros
intentaremos darle un enfoque más general y trataremos para comenzar su uso con
generics, para después verlo con tipos anónimos, y eventos y delegados, avanzadas en Expresiones
Lambda, y árboles de expresiones que se escapan de nuestro tema
principal.