Differences

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

Link to this comparison view

teaching:cc4101:tareas:2025-1:tarea2:parte0 [2025/05/11 15:28] – created msegurteaching:cc4101:tareas:2025-1:tarea2:parte0 [2025/05/11 19:30] (current) – [Los lenguajes SL y CL] msegur
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:2024-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:2025-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