Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc4101:tareas:2017-2:tarea2 [2017/10/02 15:03] – [Presentación del Lenguaje] folmedoteaching:cc4101:tareas:2017-2:tarea2 [2017/10/02 18:41] (current) – [Tareas a realizar] folmedo
Line 25: Line 25:
  
 <expr>    ::= <id>    ;identificador <expr>    ::= <id>    ;identificador
-            | (fun (<id> : <type>)+ <expr>)    ;función de primera clase+            | (fun (<id> : <type>)+ <expr>)    ;función (anónima) de primera clase
             | (match <expr> (<case>+))    ;pattern matching             | (match <expr> (<case>+))    ;pattern matching
             | (<expr> <expr>*)    ;aplicación             | (<expr> <expr>*)    ;aplicación
Line 103: Line 103:
                 (match b                 (match b
                  ((case (t) => (f)))))                  ((case (t) => (f)))))
-       (not {f)))+       (not (f)))
    "match error")    "match error")
 </code> </code>
Line 203: Line 203:
  
 == P3 (2.50 Pt) == == P3 (2.50 Pt) ==
-Defina la función **''%%interp :: Expr x Env -> Val%%''** que evalúa una expresión bajo un régimen de reducción eager, usando los bindings provistos por el entorno. Se requiere que el lenguaje soporte recursión para las funciones de primer orden (es decir, las definidas a través de un ''def''), pero no es necesario que soporte recursión para las funciones de primera clase (es decir, las definidas a través de un ''fun'').+Defina la función **''%%interp :: Expr x Env -> Val%%''** que evalúa una expresión bajo un régimen de reducción eager, usando los bindings provistos por el entorno. Se requiere que el lenguaje soporte recursión para las funciones de primer orden (es decir, las definidas a través de un ''def'').
  
 **Ayuda. ** Piense si el soporte de recursión en las funciones de primer orden requiere algún tratamiento especial o no.  **Ayuda. ** Piense si el soporte de recursión en las funciones de primer orden requiere algún tratamiento especial o no.