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 19:25] – [Tareas a realizar] folmedoteaching:cc4101:tareas:2017-2:tarea2 [2017/10/02 18:41] (current) – [Tareas a realizar] folmedo
Line 1: Line 1:
 ====== Tarea 2 ====== ====== Tarea 2 ======
  
-Esta tarea se distribuye con dos ficheros base.rkt y tests.rkt ({{ :teaching:cc4101:tareas:2017-2:base-2017-2-t1.zip |base tarea 2}}). Considere las definiciones del archivo base.rkt y escriba sus funciones en él. Escriba sus tests en el archivo tests.rkt adjunto. Ambos ficheros deben ser entregados vía U-Cursos. Los tests forman parte de su evaluación!+Esta tarea se distribuye con dos ficheros base.rkt y tests.rkt ({{ :teaching:cc4101:resources:tareas:2017-2:base-2017-2-t2.zip |base tarea 2}}). Considere las definiciones del archivo base.rkt y escriba sus funciones en él. Escriba sus tests en el archivo tests.rkt adjunto. Ambos ficheros deben ser entregados vía U-Cursos. Los tests forman parte de su evaluación!
 Consulte las normas de entrega de tareas en http://pleiad.cl/teaching/cc4101. Consulte las normas de entrega de tareas en http://pleiad.cl/teaching/cc4101.
- 
  
 ===== Presentación del Lenguaje ===== ===== Presentación del Lenguaje =====
Line 11: 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 26: 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 104: Line 103:
                 (match b                 (match b
                  ((case (t) => (f)))))                  ((case (t) => (f)))))
-       (not {f)))+       (not (f)))
    "match error")    "match error")
 </code> </code>
Line 130: Line 129:
 > "(t) : bool"          > "(t) : bool"         
 </code> </code>
 +
 +Si un patrón contiene múltiples ocurrencias de un identificador, todas las ocurrencias deben matchear contra el mismo valor (//non-linear pattern matching//). Observe además que la segunda regla de producción del símbolo no terminal ''<pattern>'' es ''<pattern> ::= (<id> <id>*)'' (y no ''<pattern> ::= (<id> <pattern>*)''), por lo que no se requiere soportar patrones anidados. 
  
 === Recursión y múltiples argumentos === === Recursión y múltiples argumentos ===
Line 201: Line 202:
 <note important>Para aclarar cualquier duda sobre el funcionamiento de dichas características, **consulte la documentación de Racket** al respecto [[https://docs.racket-lang.org/reference/match.html|aquí]].</note> <note important>Para aclarar cualquier duda sobre el funcionamiento de dichas características, **consulte la documentación de Racket** al respecto [[https://docs.racket-lang.org/reference/match.html|aquí]].</note>
  
-== P3 (2.25 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. 
  
-== P4 (1.75 Pt) ==+== P4 (1.50 Pt) ==
 Defina la función **''%%run :: s-expr -> String%%''** que toma un programa fuente y retorna la representación en String del valor resultante de la interpretación con su tipo anotado. Informalmente, los principales pasos de la  función ''run'' serán los siguientes: Defina la función **''%%run :: s-expr -> String%%''** que toma un programa fuente y retorna la representación en String del valor resultante de la interpretación con su tipo anotado. Informalmente, los principales pasos de la  función ''run'' serán los siguientes:
-  * Construir un entorno inicial que contenga los bindings correspondientes para cada constructor de los tipos inductivos que se hayan definidos (a través de un ''deftype'') y de las funciones que se hayan definido (a través de un ''def''). Piense bien qué información necesita almacenar en el entorno para cada uno de ellos. +  * Construir un entorno inicial que contenga los bindings correspondientes para cada constructor de los tipos inductivos que se hayan definido (a través de un ''deftype'') y de las funciones que se hayan definido (a través de un ''def''). Piense bien qué información necesita almacenar en el entorno para cada uno de ellos. 
   * Evaluar la expresión "principal" del programa en ese entorno inicial (recuerde que un programa es una lista de definiciones seguida de una expresión "principal").   * Evaluar la expresión "principal" del programa en ese entorno inicial (recuerde que un programa es una lista de definiciones seguida de una expresión "principal").
   * Transformar el resultado de esa evaluación en un String, como se muestra en los ejemplos.   * Transformar el resultado de esa evaluación en un String, como se muestra en los ejemplos.
Line 214: Line 215:
  
 **Nota**: Recuerde que la definición de funciones permiten múltiples argumentos. Puede asumir para toda la tarea que nunca se van a entregar dos argumentos con el mismo nombre. **Nota**: Recuerde que la definición de funciones permiten múltiples argumentos. Puede asumir para toda la tarea que nunca se van a entregar dos argumentos con el mismo nombre.
- 
- 
- 
-===== Tests ===== 
- 
-<code scheme> 
-(terminate '{{deftype bool  
-                {t : bool} 
-                {f : bool}} 
-             {deftype nat  
-                {O : nat} 
-                {S : {nat -> nat}}} 
-             {def even {n : nat} : bool  
-                    {match n 
-                      {{case {O} => {t}} 
-                       {case {S n1} => {match n1 
-                                         {{case {O} => {f}} 
-                                          {case {S n2} => {even n2}}}}}}}} 
-             {even {S {S {O}}}}}) 
-> "terminate"              
-</code>