Archivo de Autor

Miguel Katrib En Code Contracts hay la posibilidad de usar, dentro de los contratos, el cuantificador universal Contract.ForAll y el cuantificador existencial Contract.Exists. Contract.ForAll tiene dos argumentos, el primero es una colección expresada por el tipo genérico IEnumerable<T> y el segundo es un predicado expresado por el tipo Predicate<T>, donde un predicado es un método de...
Ver »

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...
Ver »