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/09/19 21:54] – [Tareas a realizar] folmedoteaching:cc4101:tareas:2017-2:tarea2 [2017/10/02 18:41] (current) – [Tareas a realizar] folmedo
Line 10: Line 10:
  
   * donde se puedan definir **tipos inductivos** propios (los únicos valores atómicos del lenguaje van a ser de algún tipo definido por el usuario), y   * donde se puedan definir **tipos inductivos** propios (los únicos valores atómicos del lenguaje van a ser de algún tipo definido por el usuario), y
-  * que soporte funciones de primera clase de **múltiples argumentos** y **anotaciones de tipo**.+  * que soporte funciones de **múltiples argumentos** y **anotaciones de tipo**.
  
  
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.