El lenguaje de programacion Java ha adoptado un mecanismo para definir tipos parametrizados, el cual estara disponible para los usuarios en la proxima version de su compilador. La primera especificacion formal para incluir genericos en Java fue publicada hace dos anos y una nueva version el pasado mes de Junio del 2003. En esta especificacion, se propone extender el sistema de tipos basandose en el sistema de cuantificacion restringida F (F–Bounded quantification) con el fin de soportar directamente polimorfismo parametrico en Java. Un metodo binario en aquel que contiene uno o mas parametros del mismo tipo del objeto que recibe el mensaje. El polimorfismo basado en el sistema de restriccion F y los metodos binarios no pueden ser combinados en forma sencilla en aquellos lenguajes de programacion orientados a objectos que contienen un sistema de tipos nominal y basan la seleccion del metodo a ejecutar solo en el tipo del objeto que recibe el mensaje. En este articulo, se presentan algunos problemas que aparecen en la implementacion de programas en Java cuando es necesario definir clases e interfaces parametrizadas
原文链接
分享
引用
