http://pleiad.cl/ 2026-04-28T06:32:30+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2025-05-11T19:30:34+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2025-1/tarea2/parte0 << Volver Los lenguajes SL y CL Muchos lenguajes de programación se implementan mediante transformación (o compilación) a lenguajes intermedios de más bajo nivel. Así mismo, en esta tarea, hay dos lenguajes: SL (Surface Language) y CL (Core Language). text/html 2025-05-14T16:44:40+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2025-1/tarea2/parte1 << Volver Parte 1. Testing de efectos (2 ptos.) En esta sección van a implementar un mecanismo para hacer tests sobre efectos secundarios, en particular, sobre la impresión de caracteres (printing). La necesidad de testear efectos secundarios es muy recurrente en proyectos reales, existiendo distintas técnicas para abordarlo (p.ej. usando text/html 2025-06-10T16:09:16+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2025-1/tarea2/parte2 << Volver Parte 2. Memoización (2 ptos.) En esta sección van a extender el lenguaje CL con un mecanismo de memoización. La memoización es una técnica de optimización que permite evaluar más rápidamente llamadas a funciones. Una función memoizada tiene asociada una estructura (p.ej. tabla de hash) donde se van guardando los argumentos con que se ha aplicado la función y el resultado de evaluar la función con esos argumentos. Luego, si se realiza una nueva aplicación con el mismo argumento, bast… text/html 2025-05-14T17:03:59+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2025-1/tarea2/parte3 << Volver Parte 3. Estrategias de evaluación (2 ptos.) En esta sección van a extender el lenguaje SL para que se pueda especificar la estrategia de evaluación de cada argumento si es necesario, ya sea con semántica call-by-need o call-by-name. La extensión de SL consiste en agregar text/html 2025-05-28T19:45:14+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2025-1/tarea2/parte4 << Volver opcional Parte 4. Estrategias de evaluación parte 2 Motivación En la parte anterior definimos la función compatible? tal que solo ignora los modificadores en top level, es decir, si al recibir el mtype ignora su modificador, pero los tipos subyacentes los compara por igualdad.