Blog Archives

¿Silverlight vs HTML5? ¿Son buenos los estándares?

noviembre 23, 2010
By

Cuando empezó a consolidarse Internet me preguntaba si no podía haberse logrado un lenguaje común más simple y expresivo que el cargado y verboso HTML (el cual podía apreciarse que no había sido concebido por desarrolladores de software). Pero todos, ávidos de tener algo común para entenderse en la web, ayudaron a que HTML...

Read more »

CodeContracts para poner contratos a LINQ

octubre 12, 2009
By
CodeContracts para poner contratos a LINQ

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

Read more »

Covarianza y Contravarianza en C#4.0

septiembre 11, 2009
By

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

Read more »