http://pleiad.cl/ 2026-05-29T16:40:09+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2026-05-17T08:43:13+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 Inria International Chair @ Gallinette News * accepted at LICS 2026 * presented at POPL 2026 * I have been awarded an Inria International Chair hosted by the text/html 2026-05-12T14:44:00+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea2/bonus << Volver Parte BONUS. Modificadores de with (1.0 pto) En el lenguaje SL, el único lugar donde se puede especificar una estrategia de evaluación es en la firma de una función anónima. Como hemos visto, las funciones anónimas también son en esencia la forma de introducir una variable local (recuerde como se puede considerar que text/html 2026-05-12T14:43:18+00:00 msegur (msegur@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-11T19:05:35+00:00 msegur (msegur@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-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-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-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 text/html 2026-04-14T03:13:32+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-03-26T15:32:41+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1a.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media text/html 2026-03-26T05:23:34+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1a-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media text/html 2025-06-19T20:54:02+00:00 dibanez (dibanez@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2025-1%3At3-init.zip&ns=teaching%3Acc4101%3Atareas%3A2025-1&do=media text/html 2025-05-11T19:30:09+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2025-1%3Atarea2%3Atarea-2-init.zip&ns=teaching%3Acc4101%3Atareas%3A2025-1%3Atarea2&do=media text/html 2025-04-18T19:37:35+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2025-1%3At1b%3Ap1-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2025-1%3At1b&do=media