Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
teaching:cc4101:tareas:2026-1:tarea2:parte0 [2026/05/11 00:19] – redirect volver a 2026-1 bduarteteaching:cc4101:tareas:2026-1:tarea2:parte0 [2026/05/11 07:48] (current) – [Los lenguajes SL y CL] tarea zip actualizada bduarte
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