http://pleiad.cl/ 2026-04-16T14:27:24+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico 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 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:42:12+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea1a Tarea 1a (Entrega: 3 de abril del 2026) Parsing de Lenguaje con Funciones top-level En esta tarea, implementaremos el parser para un lenguaje funcional con funciones top-level, tipos de datos básicos e identificadores locales (with). Para hacer una aproximación más incremental al problema, dividiremos el desarrollo en un lenguaje base que luego extenderemos. text/html 2026-03-26T15:40:55+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2025-1/tarea1a Tarea 1a (Entrega: Miércoles 2 de abril del 2025) Parsing de Lenguaje con Funciones top-level En esta tarea, implementaremos el parser para un lenguaje funcional con funciones top-level, tipos de datos básicos e identificadores locales (with). Para hacer una aproximación más incremental al problema, dividiremos el desarrollo en un lenguaje base que luego extenderemos. 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 2026-03-24T21:57:57+00:00 mtoro (mtoro@undisclosed.example.com) http://pleiad.cl/people/mtoro Matías Toro Ipinza Assistant Professor <mtoro@dcc.uchile.cl> PLEIAD Lab Blanco Encalada 2120, of 325 Computer Science Department (DCC) Santiago, Chile University of Chile phone: +56 2 29867692 Research Interests * Programming Languages * Type-and-effect systems * Gradual Typing * Security Typing * text/html 2026-03-18T14:19:23+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/teaching/cc4101 CC4101 - Lenguajes de Programación Material de referencia * PrePLAI, breve introducción a la programación funcional, Racket, y #lang play * PLAI (S. Krishnamurthi) - capítulos 1 a 14 (para macros, capítulos 35-37) ([copia local del libro]) * OOPLAI, para la parte sobre objetos 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 text/html 2025-04-07T18:59:43+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2025-1%3At1b%3Ap3-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2025-1%3At1b&do=media text/html 2025-04-07T18:59:43+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2025-1%3At1b%3Ap3.rkt&ns=teaching%3Acc4101%3Atareas%3A2025-1%3At1b&do=media text/html 2025-04-05T23:11:15+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2025-1%3At1b%3Ap1.rkt&ns=teaching%3Acc4101%3Atareas%3A2025-1%3At1b&do=media