Differences

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

Link to this comparison view

teaching:cc4101:tareas:2024-1:tarea2:parte0 [2024/05/09 19:46] – created gricciteaching:cc4101:tareas:2024-1:tarea2:parte0 [2024/05/09 20:09] (current) – [Los lenguajes SL y CL] gricci
Line 13: 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 en {{ :teaching:cc4101:tareas:2023-1:tarea2:tarea-2-init.zip |}} incluyen: //core-base.rkt//, //surface-base.rkt// y //env.rkt//.+Los archivos que les entregamos en {{ :teaching:cc4101:tareas:2024-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