[S15] Boletín Semanal 7

Gaspar Ricci 25 Nov 202425/11/24 a las 06:57 hrs.2024-11-25 06:57:25
Boletines Semanales

Hitos Evaluativos
  • Entrega 5: Atrasos hasta este domingo 1 de diciembre.
  • Ya no quedan más quizzes :)

Temas de la Semana
Plazo Recomendado: Este viernes 29 de noviembre.

Representaciones Intermedias y Optimizaciones
[Videos: Comments on IRs & Optimisations] [Apuntes: Michel Steuwer's SPLV Talk 1 | Talk 3]
El video es una breve discusión sobre los siguientes puntos:
  • ¿En qué momento es conveniente hacer las optimizaciones?
  • Relación entre representaciones intermedias y optimizaciones
  • Algunos ejemplos
Las charlas de Michel Steuwer abordan estos temas con más detalle.

[OPCIONAL] Optimización de Recursión por la Cola (TRO)
[Videos: Tail Recursion] [Apuntes: Tail Recursion & Tail Calls]
  • Motivación: Stack overflow
  • ¿Cómo optimizan la recursión los distintos lenguajes?
  • Comparación entre iteración y recursión
  • ¿Qué es recursión por la cola y cómo podemos optimizarla?
  • Esquemas de compilación de la optimización

Anuncios y Recordatorios
  • Recuerden que pueden re-entregar hasta la última semana de exámenes.
  • Los contenidos de estas 2 últimas semanas no son evaluados, pero recomendamos mucho que los revisen pues son súper interesantes ;D
  • Si tienen dudas de la materia de esta semana o la anterior publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)

Mucho éxito en todo! :D

[S14] Boletín Semanal 6

Gaspar Ricci 18 Nov 202418/11/24 a las 08:13 hrs.2024-11-18 08:13:18
Boletines Semanales

Hitos Evaluativos
  • Entrega 5: Plazo hasta este domingo 24 de noviembre.
  • Quiz 5: Plazo hasta hoy a las 23:59.

Temas de la Semana
Plazo Recomendado: Este viernes 22 de noviembre.

Demostrar la Correctitud de un Compilador
[Apuntes: CPDT] [Videos: Intro to Coq & Definitions | Proving Compiler Correct]
Video 1:
  • Breve introducción a Coq
  • Definición del lenguaje source (AST)
  • Implementación del evaluador
  • Implementación de la máquina de pila
Video 2:
  • Implementación del compilador
  • ¿Cómo podemos enunciar el teorema de correctitud?
  • Demostración de la correctitud

Anuncios y Recordatorios
  • Si tienen dudas de la materia de esta semana o la anterior publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)

Mucho éxito en todo! :D

[S13] Boletín Semanal 10

Gaspar Ricci 11 Nov 202411/11/24 a las 08:09 hrs.2024-11-11 08:09:11
Boletines Semanales

Hitos Evaluativos
  • Entrega 5: Se publicará durante el día! Plazo hasta domingo 24 de noviembre.
  • Quiz 5: Se publicará este jueves 14 de noviembre, y es el último quiz del curso ;)

Temas de la Semana
Plazo Recomendado: Este viernes 15 de noviembre.

Gestión de Memoria [Parte 2/2]
[Apuntes: Memory Management][Videos: Garbage Collection | Calling the GC]
  • Recolección de Basura con «Mark-and-Sweep»
  • Problema: Fragmentación del Heap
  • Recolector con dos espacios
  • Algoritmo de Cheney
  • Algunas desventajas del algoritmo de Cheney
  • ¿Cómo activamos el GC?
  • Interacción entre el runtime system y el assembly generado por el compilador
  • Presentación del código base y testeo del GC

Anuncios y Recordatorios
  • Si tienen dudas de la materia de esta semana o la anterior publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)


Mucho éxito en todo! :D

[S12] Boletín Semanal 8

Gaspar Ricci 4 Nov 202404/11/24 a las 08:10 hrs.2024-11-04 08:10:04
Boletines Semanales

Hitos Evaluativos
  • Entrega 4: Plazo hasta este domingo 10 de noviembre.

Temas de la Semana
Plazo Recomendado: Este viernes 8 de noviembre.

Gestión de Memoria [Parte 1/2]
[Apuntes: Memory Management] [Videos: Memory Management (Part 1/2)]
  • ¿Qué es la gestión de memoria? ¿Por qué y para qué sirve?
  • ¿Qué alternativas existen para administrar la memoria?
  • «Conteo de Referencias»
  • Mutación y las dificultades que puede introducir
  • Recolección de basura (garbage collection)
  • Correctitud (soundness) vs. Completitud (completeness)

Anuncios y Recordatorios
  • Si tienen dudas de la materia de esta semana o la anterior publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)

Mucho éxito en todo! :D

[S11] Boletín Semanal 8

Gaspar Ricci 23 Oct 202423/10/24 a las 12:38 hrs.2024-10-23 12:38:23
Boletines Semanales

Hitos Evaluativos
  • Entrega 4: Será publicada hoy. Tendrán plazo hasta domingo 10 de noviembre.
  • Quiz 4: Se abrirá mañana jueves 24 de octubre.

Temas de la Semana
Plazo Recomendado: Este viernes 25 de octubre.

Funciones de Primera Clase [Fin 3/3]
[Apuntes: 1st Class Funs][Videos: 1st Class Funs (Parte 3/3)]
  • Cómo construir la clausura (al fin :D)
  • ¿Cómo se compila el cuerpo de una lambda?
  • ¿Cómo se accede a las variables libres del cuerpo de una lambda?
  • Resumen y ejemplo completo de compilación

Anuncios y Recordatorios
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)


Mucho éxito en todo! :D

[S10] Boletín Semanal 9

Gaspar Ricci 14 Oct 202414/10/24 a las 08:32 hrs.2024-10-14 08:32:14
Boletines Semanales

Hitos Evaluativos
  • Entrega 3: Plazo hasta este domingo 20 de octubre.

Temas de la Semana
Plazo Recomendado: Este viernes 18 de octubre.

Funciones de Primera Clase [Parte 2/3]
[Apuntes: 1st Class Funs] [Videos: 1st Class Funs (Part 2/3)]
  • ¿Cómo se puede unificar los llamados a funciones?
  • Problemas al compilar let-lambdas
  • Variables libres en el cuerpo de una función
  • Funciones como clausura
  • ¿Cómo se calculan las variables libres en el cuerpo de una función?
  • ¿Cómo se calculan los accesos a dichas variables?

Anuncios y Recordatorios
  • Si tienen dudas de la materia de esta semana o la anterior publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)


Mucho éxito en todo! :D

[S9] Boletín Semanal 9

Gaspar Ricci 7 Oct 202407/10/24 a las 08:30 hrs.2024-10-07 08:30:07
Boletines Semanales

Hitos Evaluativos
  • Entrega 3: Será publicada durante el día! Tendrán plazo hasta el domingo 20 de octubre.
  • Quiz 3: Lo extendimos hasta hoy a las 23:59.

Temas de la Semana
Plazo Recomendado: Este viernes 11 de octubre.

Funciones de Primera Clase [Parte 1/3]
[Apuntes: 1st Class Funs][Videos: 1st Class Funs]
  • ¿Cómo podemos pasar una función como parámetro?
  • Compilar una función que recibe otra como parámetro
  • ¿Cuál es el «valor» que representa a una función?
  • Representar una función con tagging
  • Verificar aridad de una función

Anuncios y Recordatorios
  • Si tienen dudas de la materia de esta semana o la anterior publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)


Mucho éxito en todo! :D

[S8] Boletín Semanal 8

Gaspar Ricci 30 Sep 202430/09/24 a las 08:37 hrs.2024-09-30 08:37:30
Boletines Semanales

Hitos Evaluativos
  • Entrega 2: Plazo hasta este domingo 6 de octubre.
  • Quiz 3: Se abrirá este jueves 3 de octubre, y evaluará la materia vista esta semana.

Temas de la Semana
Plazo Recomendado: Este viernes 4 de octubre.

Tuplas y Mutación
[Apuntes: Tuplas & Heap | Mutación] [Videos: Tuplas & Heap | Mutación]
  • Agregar tuplas como valores al lenguaje usando tagging.
  • Reservar espacio en el heap para las tuplas.
  • Alineación del heap.
  • Mutación de tuplas y variables.
  • Secuenciar operaciones.

Anuncios y Recordatorios
  • Si tienen dudas de la materia de las últimas semanas publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)

Mucho éxito en todo! :D

[S7] Boletín Semanal 7

Gaspar Ricci 23 Sep 202423/09/24 a las 09:01 hrs.2024-09-23 09:01:23
Boletines Semanales

Hola a todes!

Esperamos que hayan tenido un buen receso de fiestas patrias y que hayan podido disfrutar con sus seres querides!
Esta semana está marcada en nuestro calendario como semana de extensión. Esto quiere decir que haremos una pequeña pausa en el avance con la materia para que puedan repasar lo que han visto hasta ahora y para que sigan desarrollando su entrega 2.
Las reuniones de seguimiento agendadas para esta semana siguen en pie.

Hitos Evaluativos
  • Entrega 2: Funciones de Primer Orden e Interoperabilidad con C. Plazo hasta el 6 de octubre.

Temas de la Semana
Se recomienda repasar la materia pertinente a la entrega 2. Es decir, errores dinámicos e interoperabilidad con C (semana 5) y funciones de primer orden (semana 6).

Plazo Recomendado: Este viernes 27 de sept.

Anuncios y Recordatorios
  • Si tienen dudas de la materia de las últimas semanas publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)

Mucho éxito en todo! :D

[S6] Boletín Semanal 8

Gaspar Ricci 9 Sep 202409/09/24 a las 08:25 hrs.2024-09-09 08:25:09
Boletines Semanales

Hitos Evaluativos
  • Entrega 2: Funciones de Primer Orden e Interoperabilidad con C. Será publicada durante el día. Tendrán plazo hasta el 6 de octubre.
  • Quiz 2: Será publicado este jueves 12 de septiembre, y evaluará los contenidos vistos hasta esta semana.

Temas de la Semana
Plazo Recomendado: Este viernes 13 de sept.

Funciones de Primer Orden
[Apuntes: Funs 1er Orden] [Videos: Funs 1er Orden]
  • Extender el lenguaje con funciones de primer orden (al top-level)
  • Generalizar llamados a funciones
  • Compilar una aplicación de función
  • Compilar una declaración de función

Anuncios y Recordatorios
  • El plazo de entregas con atraso de la E1 está abierto por si lo necesitan.
  • Si tienen dudas de la materia de esta semana o la semana pasada, publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
  • No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
  • Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)

Mucho éxito en todo! :D