Differences
This shows you the differences between two versions of the page.
| Last revisionBoth sides next revision | |||
| teaching:cc4101:tareas:2016-2:tarea1 [2016/10/05 23:08] – created fmosso | teaching:cc4101:tareas:2016-2:tarea1 [2016/10/13 23:20] – [P1 - TypeOf (3.0pt)] fmosso | ||
|---|---|---|---|
| Line 73: | Line 73: | ||
| * El tipo de una función consiste en el tipo del argumento (a la izquierda) y en el tipo del cuerpo (a la derecha); | * El tipo de una función consiste en el tipo del argumento (a la izquierda) y en el tipo del cuerpo (a la derecha); | ||
| * El tipo de una aplicación es '' | * El tipo de una aplicación es '' | ||
| + | * El tipo del if0 es el tipo de la branch '' | ||
| Para obtener la lista de constraint siga la siguiente tabla: | Para obtener la lista de constraint siga la siguiente tabla: | ||