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...
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...
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...
(20) (9) (3) (2) (1) (1) (1) (1)
