La feliz inclusión de la genericidad en el .NET Framework 2.0 y en el lenguaje C#2.0 significó un gran avance en flexibilidad y expresividad para desarrollar software a la vez que se mantenía la robustez del control estático de tipos. Estas capacidades en el sistema de tipos, sin renunciar al control estático, fueron enriquecidas en el .NET Framework 3.5 y C#3.0 con la inferencia de tipos, la creación de tipos anónimos y las expresiones lambda, aportes que dieron soporte a LINQ y que hoy forman parte del instrumental de los desarrolladores .NET. La inclusión de recursos para expresar covarianza y contravarianza que se incorporarán en el próximo .NET Framework 4.0 y C#4.0 complementan la genericidad y suponen un paso más en la expresividad y flexibilidad de programación conciliadas en el contexto seguro que nos aporta el control estático de tipos. Miguel Katrib y Mario del Valle, miembros del grupo Weboo, han publicado este mes en la revista dotNetManía (www.dotnetmania.com) un interesante trabajo sobre estas nuevas posibilidades de varianza y contravarianza que vendrán con C#4.0
Por Miguel Katrib
