Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc4101:tareas:2016-2:tarea2 [2016/11/02 00:54] – [P1 - Estructuras Inductivas y Pattern Matching (2.0pt)] fmossoteaching:cc4101:tareas:2016-2:tarea2 [2016/11/02 00:54] – [P3 - Análisis de Terminación (2.0pt)] fmosso
Line 176: Line 176:
  
  
-===== P3 - Análisis de Terminación (2.0pt) =====+===== P3 - Análisis de Terminación (3.0pt) =====
  
 Tener un lenguaje donde los valores son estructuras inductivas permite detectar casos de recursión estructural, lo que permite concluir sintácticamente cuando una función termina. Por ejemplo, en el siguiente caso es posible saber que la función ''even'' termina sin ejecutarla, pues sus posibles retornos son valores directos o llamados recursivos con argumentos que corresponden a sub-estructuras: Tener un lenguaje donde los valores son estructuras inductivas permite detectar casos de recursión estructural, lo que permite concluir sintácticamente cuando una función termina. Por ejemplo, en el siguiente caso es posible saber que la función ''even'' termina sin ejecutarla, pues sus posibles retornos son valores directos o llamados recursivos con argumentos que corresponden a sub-estructuras: