Differences

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

Link to this comparison view

Next revision		Previous revision
teaching:cc4101:tareas:2023-1:tarea2:parte0 [2023/05/11 15:20] – created tvallejosteaching:cc4101:tareas:2023-1:tarea2:parte0 [2023/05/11 16:32] (current) – [Los lenguajes SL y CL] tvallejos
Line 1: Line 1:
 +[[teaching:cc4101:tareas:2023-1:tarea2|<< Volver]]
 +
 ==== Los lenguajes SL y CL ==== ==== Los lenguajes SL y CL ====
  
Line 11: Line 13:
 Un programa SL se ejecuta mediante una transformación a CL. En el código entregado, esta transformación es bastante trivial: convierte los nodos del AST del programa SL en nodos del AST de un programa CL. Su único rol es borrar la información de tipado, y convertir el ''with'' en una aplicación de lambda (CL no incluye ''with''). Un programa SL se ejecuta mediante una transformación a CL. En el código entregado, esta transformación es bastante trivial: convierte los nodos del AST del programa SL en nodos del AST de un programa CL. Su único rol es borrar la información de tipado, y convertir el ''with'' en una aplicación de lambda (CL no incluye ''with'').
  
-Los archivos que les entregamos incluyen: {{ :teaching:cc4101:tareas:2023-1:tarea2:core-base.rkt |}}, {{ :teaching:cc4101:tareas:2023-1:tarea2:surface-base.rkt |}} y {{ :teaching:cc4101:tareas:2023-1:tarea2:env.rkt |}}.+Los archivos que les entregamos en {{ :teaching:cc4101:tareas:2023-1:tarea2:tarea-2-init.zip |}} incluyen: //core-base.rkt//, //surface-base.rkt// y //env.rkt//.
    * para CL: definición de la sintaxis, AST, parser, e intérprete    * para CL: definición de la sintaxis, AST, parser, e intérprete
    * para SL: definición de la sintaxis, AST, parser, typechecker y transformación a CL    * para SL: definición de la sintaxis, AST, parser, typechecker y transformación a CL