Differences

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

Link to this comparison view

Next revision		Previous revision
teaching:cc4101:tareas:2026-1:tarea2:parte0 [2026/05/11 00:14] – created bduarteteaching:cc4101:tareas:2026-1:tarea2:parte0 [2026/05/11 07:48] (current) – [Los lenguajes SL y CL] tarea zip actualizada bduarte
Line 1: Line 1:
-[[teaching:cc4101:tareas:2025-1:tarea2|<< Volver]]+[[teaching:cc4101:tareas:2026-1:tarea2|<< Volver]]
  
 ==== Los lenguajes SL y CL ==== ==== Los lenguajes SL y CL ====
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:2025-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:2026-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