La programación genérica es un tipo popular de programación de computadoras escrito de tal manera que crea el código más eficiente posible al tiempo que permite que el código se aplique a tantas situaciones como sea posible sin requerir ningún cambio en el código original. Una vez que se escribe el código, solo puede realizar las funciones exactas para las que fue escrito. Al usar programación genérica para crear códigos que funcionan en varias situaciones diferentes, mientras siguen realizando la misma función general básica, los programadores pueden usar una sola pieza de código en diferentes programas sin tener que hacer cambios en el original.
Durante la década de 1970, la programación genérica hizo su debut en los lenguajes de programación Ada y CLU. Poco después, otros lenguajes de programación como Java y C ++ comenzaron a utilizar programación genérica para simplificar el código de programación y, al mismo tiempo, permitir el uso del mismo código en múltiples escenarios. Cada lenguaje de programación tiene una forma particular de usar este código y diferentes términos para describirlo. “Genéricos”, “plantillas” y “tipos parametrizados” se han utilizado en algún momento u otro para referirse a instancias de programación genérica.
Para comprender este tipo de programación, es importante conocer los conceptos básicos de cómo funciona un lenguaje de programación. Si, por ejemplo, Paul quiere escribir un programa que sume dos números, teclearía el código de la computadora para sumar dos objetos. Luego le diría a la computadora que esos dos objetos son números y que la respuesta final también debería ser un número.
Si bien el programa funcionará siempre que Paul agregue dos números, se bloqueará si intenta agregar algo más. Si Paul decidiera encadenar oraciones para formar un párrafo, el programa fallaría porque encontraría letras y no números. Paul podría solucionar este problema, sin embargo, mediante el uso de programación genérica para decirle al programa original que acepte una serie de variables, tanto números como letras, y así el programa podría crear oraciones o realizar sumas.
No todos los lenguajes de programación necesitan el concepto de programación genérica para que sean eficientes. Los que lo utilizan son lenguajes tipados estáticamente. Esto simplemente significa que el código está escrito en piedra, por así decirlo, y no se puede modificar mientras el programa se está ejecutando. Por esta razón, si un programador especificaba que la entrada del usuario sería en forma de letras y el usuario escribía un número, el programa no podría usar la entrada. Por lo tanto, los programadores intentan prever todos los tipos de datos lógicos que un usuario podría ingresar, ya sean números, letras o símbolos, y crean un programa que se puede ajustar en consecuencia.