Tarea 2 (Entrega: 03 de agosto de 2018)

Esta tarea se distribuye con un archivo zip (base-tarea2) que contiene 2 archivos: main.rkt y tests.rkt. Los archivos main.rkt y tests.rkt están incompletos, y en ellos tienen que implementar lo que se solicita en las preguntas siguientes.

Deben entregar via U-cursos un archivo .zip que contenga los archivos main.rkt y tests.rkt.

Consulte las normas de entrega de tareas en http://pleiad.cl/teaching/cc4101

¡Los tests, los contratos y las descripciones forman parte de su evaluación!

En esta tarea se le provee el lenguaje MiniScheme+, que corresponde a un intérprete extendido con estructuras de primera clase y pattern matching. Además, MiniScheme+ incorpora el uso de primitivas1). A continuación se presenta un breve tour de las características de MiniScheme+:

  1. Funciones de primera clase con argumentos múltiples: las funciones y las expresiones with pueden tener 0 o más argumentos. Por ejemplo: 
    > (run '{{fun {x y z} {+ x y z}} 1 2 3})
6
 
> (run '{with {{x 1} {y 2} {z 3}} {+ x y z}})
6
 
> (run '{with {} {{fun {} 42}}})
42
  2. Definiciones usando local, define y datatype: la expresión local permite realizar definiciones de identificadores y de estructuras de datos, usando define y datatype respectivamente. Por ejemplo: 
    > (run '{local {{define x 1} 
                {define y 2}} 
           {+ x y}})
3
 
> (run '{local {{datatype Nat 
                  {Zero} 
                  {Succ n}}}
          {Nat? {Zero}}})
#t
> (run '{local {{datatype Nat 
                  {Zero} 
                  {Succ n}}
                {define pred {fun {n} 
                               {match n
                                 {case {Zero} => {Zero}}
                                 {case {Succ m} => m}}}}}
          {pred {Succ {Succ {Zero}}}}})
{Succ {Zero}}

Observe que define y datatype sólo pueden usarse en la zona de declaraciones de una expresión local. Al declarar una estructura, la implementación extiende el ambiente usado en el cuerpo de local, permitiendo el uso de funciones constructoras y además, predicados para determinar si un valor corresponde a la estructura (para el tipo en general y para cada constructor). Para más detalles, consulte la implementación y tests provistos.

Warm-up (0.5 ptos)

Si ejecutan el último ejemplo, verán que el output no es (Succ (Zero)) sino (structV 'Nat 'Succ (list (structV 'Nat 'Zero empty))). Defina la función pretty-printing que toma una estructura y entrega un string más amigable al usuario (similar a como se indica anteriormente). Utilice esta función en run.

Listas (1.5 ptos)

  1. (0.2) Defina en MiniScheme+ el tipo de dato inductivo List, con dos constructores Empty y Cons, y la función recursiva length que retorna el largo de una lista.
  2. (0.2) Con el objetivo de no tener que introducir la estructura de datos List en cada ejemplo, modifique la función run para que evalúe la expresión dada en un contexto donde se tiene la definición de List y de length. 
    > (run '{List? {Empty}})
#t
  3. (0.5) Extienda el lenguaje para soportar la notación {list e1 e2 … en} como azúcar sintáctico para {Cons e1 {Cons e2 … {Cons en {Empty}}…}}.
    > (run '{match {list {+ 1 1} 4 6}
          {case {Cons h r} => h}
          {case _ => 0}})
2

    No necesita modificar ni el AST ni el interprete.

  4. (0.4) Extienda ahora el pattern matching para que la notación {list e1 e2 … en} se pueda usar también en posición de patrón.
    > (run '{match {list 2 {list 4 5} 6}
          {case {list a {list b c} d} => c}})
5
  5. (0.2) Finalmente, modifique el pretty-printer para que en el caso de listas, se use la notación {list v1 … vn}.
    > (run '{list 1 4 6})
{list 1 4 6}

Evaluación Perezosa (3 ptos)

MiniScheme+ usa call-by-value como estrategia de evaluación. Sin embargo, es posible agregar evaluación call-by-need para casos específicos.

  1. (2.0) Agregue el keyword lazy para indicar que el argumento de una función debe ser evaluado usando call-by-need. Además, lazy puede ser usado en la declaración de las funciones constructoras. ¡Asegúrese de obtener semántica call-by-need, y no call-by-name!
    > (run '{{fun {x  {lazy y}} x} 1 {/ 1 0}})
1
 
> (run '{{fun {x  y} x} 1 {/ 1 0}})
"/: division by zero"
 
> (run '{local {{datatype T 
                  {C {lazy a}}}
                {define x {C {/ 1 0}}}}
          {T? x}})
#t
 
> (run '{local {{datatype T 
                  {C {lazy a}}}
                {define x {C {/ 1 0}}}}
          {match x
            {case {C a} => a}}})
"/: division by zero"
  2. En Haskell vimos que gracias a la evaluación perezosa es posible construir listas infinitas. Un stream es una estructura infinita compuesta por una cabeza hd y una cola tl, al igual que las listas. Un stream puede emular una lista infinita si se evita evaluar la cola del stream hasta que sea estrictamente necesario. Realice lo siguiente en MiniScheme+ extendido con el keyword lazy:
    • (0.5) Defina en MiniScheme+ una estructura Stream que evite evaluar su cola a menos que sea estrictamente necesario. 
      (def stream-data '{datatype Stream ...})
    • (0.5) Defina la función (make-stream hd tl) en MiniScheme+ que construye un stream basado en la estructura anterior.
      (def make-stream '{define make-stream  {fun ...}})
 
; Stream infinito de 1s
(def ones '{define ones {make-stream 1 ones}})

Trabajando con Streams (1 ptos)

Nota: Todas las definiciones que se le piden a continuación deben realizarse en el lenguaje MiniScheme+ con las extensiones hasta este punto de la tarea.

Observe que para fines de presentación y de corrección, el intérprete define una conversión entre estructuras List de MiniScheme+ y listas de Racket.

  1. (0.2) Defina las funciones stream-hd y stream-tl para obtener la cabeza y la cola de un stream. Por ejemplo: 
    (def stream-hd ...)
(def stream-tl ...)
 
> (run `{local {,stream-data ,make-stream ,stream-hd ,ones}
{stream-hd ones}})
1
 
> (run `{local {,stream-data ,make-stream
                             ,stream-hd ,stream-tl ,ones}
          {stream-hd {stream-tl ones}}})
1

    Observe el uso de quasi-quoting2) para definir individualmente las funciones pedidas, así como el stream ones. Sus respuestas deben definirse como fragmentos de programa que luego serán compuestos de la forma que aquí se ilustra.

  2. (0.2) Implemente la función (stream-take n stream) que retorna una lista con los primeros n elementos de stream. Ejemplo:
    (def stream-take ...)
> (run `{local ,stream-lib
          {local {,ones ,stream-take}
            {stream-take 10 ones}}})
{list 1 1 1 1 1 1 1 1 1 1}

    Para no tener que volver a definir todas las funciones para cada ejercicio, utilice la siguiente definición de stream-lib: 

    (def stream-lib (list stream-data
                      make-stream
                      stream-hd
                      stream-tl
                      stream-take))
  3. (0.2) Implemente la función stream-zipWith que funciona de manera análoga a zipWith para listas.
    (def stream-zipWith ...)
 
> (run `{local ,stream-lib
          {local {,ones ,stream-zipWith}
            {stream-take 10
                         {stream-zipWith
                          {fun {n m}
                               {+ n m}}
                          ones
                          ones}}}})
{list 2 2 2 2 2 2 2 2 2 2}
  4. (0.2) Implemente el stream fibs, de todos los números de Fibonacci. 
    (def fibs ...)
 
> (run `{local ,stream-lib
          {local {,stream-zipWith ,fibs}
            {stream-take 10 fibs}}})
{list 1 1 2 3 5 8 13 21 34 55}
  5. (0.2) Implemente la función merge-sort, que dados dos stream ordenados retorna un stream con la mezcla ordenada 
    (def merge-sort ...)
 
> (run `{local ,stream-lib
               {local {,stream-take ,merge-sort ,fibs ,stream-zipWith}
                 {stream-take 10 {merge-sort fibs fibs}}}})
{list 1 1 1 1 2 2 3 3 5 5}

    Asuma que ambas listas se encuentran ya ordenadas.

1)
Para entender el concepto de funciones primitivas, vea http://pleiad.cl/teaching/primitivas.
2)
Quasi-quoting es una forma de evaluar partes de una expresión quote-eada.
> '(1 (+ 1 2))
(list 1 (list '+ 1 2))
 
> `(1 ,(+ 1 2))
(list 1 3)
 
> '(1 ,(+ 1 2))
(list 1 (list 'unquote (list '+ 1 2)))))