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:48] – [Recursión] fmossoteaching:cc4101:tareas:2016-2:tarea2 [2016/11/02 00:49] – [Recursión] fmosso
Line 122: Line 122:
 Funciones definidas con ''def'' pueden ser recursivas y tener más de un argumento. Funciones definidas con ''def'' pueden ser recursivas y tener más de un argumento.
  
 +<code scheme> 
 +(run '{{deftype nat 
 +          {O : nat} 
 +          {S : {nat -> nat}}} 
 +       {def byZero {n : nat} : nat 
 +               {match n 
 +                 {{case {O} => {O}} 
 +                  {case {S {O}} => {byZero {O}}} 
 +                  {case {S {S {O}}} => {byZero {S {O}}}}}}} 
 +       {byZero {S {S {O}}}}}) 
 +>"(O) : nat" 
 +</code>
  
 <code scheme> <code scheme>