Para esta tarea tiene que entregar 3 archivos, uno que contenga el código fuente de su tarea, un readme con las instrucciones para ejecutar su tarea, y los test de su tarea. Los tests forman parte de su evaluación! Consulte las normas de entrega de tareas en http://pleiad.cl/teaching/cc4101.

En esta tarea usted deberá implementar las funciones parse, interp y run usando su lenguaje NO funcional favorito, tal como Java o C. Independiente del lenguaje que utilice se mantienen las reglas de las tareas pasadas, es decir, todo método/función debe tener su comentario y test.

Ademas si usted no entrega el código fuente de su tarea obtendrá la nota mínima, por ejemplo si implementa la tarea en java, debe entregar todos los .java necesarios.

Para claridad los lenguajes prohibidos son: Racket, Scheme, Lisp, Haskell, Scala, ML, OCaml, Coq, Idris, Agda, Rust y Erlang.

Su tarea recibirá un String como argumento; su tarea debe parsear, interpretar y retornar el resultado como un String. Su lenguaje debe ser capaz de soportar los mismos casos que el lenguaje visto en clases y se deberá caer en los mismos casos, note que los mensajes de error son un String, su tarea debe siempre retornar un String.

Puede utilizar como referencia el siguiente interprete que se encuentra en el link “Interpretes del curso” que esta en la página del curso. Note que no tiene que implementar cajas.

Su lenguaje debe tener funciones de primera clase, régimen de evaluación eager y scope estático.

A continuación se presenta la gramática BNF del lenguaje a implementar:

<s-expr> ::= <num>
         | {+ <s-expr> <s-expr>}
         | {- <s-expr> <s-expr>}
         | {if0 <s-expr> <s-expr> <s-expr>}
         | {with {<id> <s-expr>} <s-expr>}
         | <id>
         | {fun {<id>} <s-expr>}
         | {seqn <s-expr> <s-expr>}
         | {set <id> <s-expr>}
         | {<s-expr> <s-expr>}

Usted deberá definir lo siguiente:

1. parser :: String -> Expr que parsea el lenguaje
2. interp :: Expr x Env -> Val que evalúa un programa con semántica eager.
3. run :: String -> String que toma un programa fuente y retorna la representación en String del valor resultante.

Al igual que en la tarea pasada, usted tiene total libertad en como implementar la tarea.

Estos son los mensajes de error que debe lanzar su tarea:

1. “error: identificador libre!! x” que se lanza al encontrar con un identificador libre 'x'
2. “error: expresión inválida expr” que se lanza al no poder interpretar 'expr', y 'expr' no es ni un número ni una función.

A continuación se presentan diferentes ejemplos:

Ejemplos con Java:

java tarea3 "4"
>"4"

java tarea3 "y"
>"error: identificador libre!! y"

java tarea3 "{+ 4 3}"
>"7"

java tarea3 "{fun {x} x}"
>"Function"

Ejemplos con C:

./Tarea3 "{{{fun {x} x}
        {fun {x} {+ x 5}}}
       3}"
>"8"

./Tarea3 "{8 10}"
>"error: expresión inválida {8 10}"

./Tarea3 "{with {x 3}
             {with {f {fun {y} {+ x y}}}
                   {with {x 5}
                         {f 4}}}}"
>"7"