http://pleiad.cl/ 2026-05-11T10:59:38+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2026-05-11T07:48:16+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-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 2026-05-11T07:45:55+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2%3Atarea-2-init.zip&ns=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2&do=media text/html 2026-05-11T07:37:08+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea2 Tarea 2 (Entrega: 2 de Junio) Estrategias de evaluación Como vieron en clases, los lenguajes de programación pueden tener distintas estrategias para evaluar los argumentos con los que se llama a una función. La gran mayoría de los lenguajes (C, Java, Python, JS, etc.) evalúan los argumentos de manera temprana ( text/html 2026-05-11T07:36:13+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea2/bonus << Volver Parte BONUS. Casteo de evaluación (0.7 ptos) En esta parte agregarán el casteo opcional de la forma de evaluación de los binds del with en SL. Con la gramática de la parte 3 era verboso crear funciones lazy o call-by-name: {with {by-name {fun {f : {Num -> Num}} -> {name {Num -> Num}} : f}} {with {foo {fun {x : Num} -> Num : x}} {by-name foo}}} text/html 2026-05-11T03:24:50+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-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 2026-05-11T02:23:36+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-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 2026-05-11T00:22:57+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-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 2026-04-25T20:57:34+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/research/software/grev GrEv: Compiling Gradual Types with Evidence This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments. Artifact The artifact contains: * instructions.md: instructions for running GrEv and replicating the experiments text/html 2026-04-25T20:53:38+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Aartifact.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-25T20:23:39+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev-experiments.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-25T20:17:27+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-16T16:23:01+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/start Welcome! The PLEIAD laboratory of the Computer Science Department (DCC) of the University of Chile (Faculty of Engineering) is a laboratory dedicated to foundational and applied research on software development techniques. Since its creation in 2007, the lab has focused on many ways to support the development of high-quality software at different levels, from programming languages to development environments. Currently, our work is mostly centered on  text/html 2026-04-16T16:22:24+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/people/etanter Full Professor / Profesor Titular <etanter@dcc.uchile.cl> University of Chile Beauchef 851, of.310 Computer Science Department (DCC) Santiago, Chile PLEIAD Lab phone: +56 2 2978 4953 Associate Researcher, IMFD fax: +56 2 2689 5531 News * accepted at LICS 2026 * presented at POPL 2026 * I have been awarded an Inria International Chair hosted by the Gallinette research team (2025-2029) text/html 2026-04-14T03:17:20+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea1b Tarea 1b (Entrega: 30 de Abril de 2026) Lenguaje con tipos estáticos Ya se habrán dado cuenta que ciertos lenguajes tienen tipos estáticos (C/C++, Java, C#, Scala, etc.) y otros tienen tipos dinámicos (Python, Racket, JavaScript, etc.). En esta tarea van a implementar un lenguaje simple con funciones de primer orden (es decir, funciones cuya definición es separada de las expresiones normales del lenguaje), tipos de datos básicos y pares. Para implementar este lenguaje necesitaremos un parser … text/html 2026-04-14T03:17:03+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Aenv.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:44+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media