Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc4101:tareas:2015-1:tarea2 [2015/04/21 18:42] – [P3 - Inferencia de tipos (4.5pt)] flarenas | teaching:cc4101:tareas:2015-1:tarea2 [2015/04/30 14:57] – etanter | ||
---|---|---|---|
Line 18: | Line 18: | ||
Por ejemplo: | Por ejemplo: | ||
- | < | + | < |
+ | class A { | ||
+ | def x = 1 | ||
+ | } | ||
> run "((fun (x) (+ x 1)) 3)" | > run "((fun (x) (+ x 1)) 3)" | ||
4 | 4 | ||
Line 94: | Line 98: | ||
Estudie el capitulo 30.2 del PLAI para una explicación detallada de como generar constraints. | Estudie el capitulo 30.2 del PLAI para una explicación detallada de como generar constraints. | ||
- | Defina la función '' | + | Defina la función '' |
=== C. Unificación === | === C. Unificación === |