Programacion funcional con recursividad

• Sistema de tipos.

Un tipo indica un conjunto de valores que tienen el mismo significado genérico o propósito (aunque unos tipos, como los tipos de datos abstractos y tipos de datos función talvez no representen valores en el programa que se esta ejecutando).

• Técnicas de programación recursiva.

1. Vez la forma en la cual se especifica un proceso basado en su propia definición. Siendo un poco mas preciso, y para evitar el aparente circulo sin fin en esta definición: vi
2. Un problema que pueda ser definido en funciones de su tamaño, sea este N, puede ser dividido en instancias (<N) del mismo problema y se conozca la solución explicita a las sustancias mas simples.

• Modelos evaluación.

Evaluación es el proceso sistemático de recolección y análisis de datos con la finalidad de determinar si es que, y hasta que punto, unos objetivos han sido o están siendo logrados. La información resultante se pone al servicio de la toma de decisiones.

• Clases de tipos.

El sistema de tipos de Haskell posee una característica que lo distingue de otros lenguajes de programación. El tipo de polimorfismo del que hemos tratado hasta ahora es denominado polimorfismo paramétrico.

Existe otro tipo de polimorfismo llamado ad hoc o sobrecarga.

Estos son algunos ejemplos de polimorfismo ad hoc ves una descripción informal1 de alto nivel de un algoritmo informático de programación, compacto e informal, que utiliza las convenciones estructurales de un lenguaje de programación verdadero2 , pero que está diseñado para la lectura humana en lugar de la lectura mediante máquina, y con independencia de cualquier otro lenguaje de programación. aplicaciones en rutinas de seudocódigo.