En funcional teniamos dos tipos de polimorfismo: ad-hoc y parametrico.
Casi siempre, se hace uso del polimorfimo parametrico utilizando el polimofismo ad-hoc. ¿Como es eso? Es asi, el polimorfimo ad-hoc, es la multiple definicion de una funcion para distintos tipos. Aca tenemos a los tipos de personas como numeros, pudo haber sido otra cosa, un string, otro tipo compuesto, pero en este caso es un numero (por ello es necesario). Bien, pero, ¿y lo parametrico?
Debe haber una funcion externa que haga uso de esas funciones, para poder hacer uso del polimorfismo en su totalidad, el polimorfismo parametrico es cuando enviamos un algo, sea de cualquier tipo, y llevamos a cabo nuestra sin responsabilidad sin hacer diferencia de ese algo. Es decir, si colocamos una funcion saludarA/2, que reciba una persona y un saludo, la misma debe saludarla a ella sin importar que tipo es, la encargada de ver el tipo son las definiciones de las otras funciones.
No se si te acordas de Firulais pero, here it is: guau guau click me guau guau.
Y si con Firulais no se entiendo completamente, la wiki nos puede ayudar.
https://github.com/karengrams/FinalesDeParadigmasDeProgramacion/blob/6dc153659be10b2f975789255925165405241b21/15%20de%20julio%20del%202017/150717.hs#L7-L8
En funcional teniamos dos tipos de polimorfismo: ad-hoc y parametrico.
Casi siempre, se hace uso del polimorfimo parametrico utilizando el polimofismo ad-hoc. ¿Como es eso? Es asi, el polimorfimo ad-hoc, es la multiple definicion de una funcion para distintos tipos. Aca tenemos a los tipos de personas como numeros, pudo haber sido otra cosa, un string, otro tipo compuesto, pero en este caso es un numero (por ello es necesario). Bien, pero, ¿y lo parametrico? Debe haber una funcion externa que haga uso de esas funciones, para poder hacer uso del polimorfismo en su totalidad, el polimorfismo parametrico es cuando enviamos un algo, sea de cualquier tipo, y llevamos a cabo nuestra sin responsabilidad sin hacer diferencia de ese algo. Es decir, si colocamos una funcion saludarA/2, que reciba una persona y un saludo, la misma debe saludarla a ella sin importar que tipo es, la encargada de ver el tipo son las definiciones de las otras funciones.
No se si te acordas de Firulais pero, here it is: guau guau click me guau guau. Y si con Firulais no se entiendo completamente, la wiki nos puede ayudar.