Boletín semanal del 29 de noviembre 2021 15

Tomas Vallejos P. 29 Nov 202129/11/21 a las 10:24 hrs.2021-11-29 10:24:29
Boletines

Hitos evaluativos
  • Entrega 5 deadline 5 de diciembre
  • Quiz 5: 2 de diciembre
  • Los quizzes serán de la materia de sus respectivas entregas

Tema de la semana: Probando un compilador correcto
[material complementario: stack machine , compcert ] [videos1 , video2 ]
  • ¿Qué es un asistente de pruebas?
  • Principio de inducción y recursión sobre expresiones
  • Implementación de un evaluador y compilador en Coq
  • Enunciar teoremas sobre programas
  • Probar la correctitud de un compilador
  • Extraer un módulo en Coq
Nos vemos el jueves a las 17:00 para aclarar las dudas que tengan.

Reuniones agendadas
  • Reunión con Diego:
        Grupo 2: lunes 29 de noviembre, a las 18:00
        Grupo 1: lunes 29 de noviembre, a las 19:00
        Grupo 6: lunes 29 de noviembre, a las 21:00

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD

Boletín semanal del 22 de noviembre 2021 13

Diego Ortego P. 22 Nov 202122/11/21 a las 13:04 hrs.2021-11-22 13:04:22
Boletines

Hitos evaluativos

  • Entrega 5: deadline: domingo 5 de diciembre
  • Quiz 4: lunes 22 octubre 


Tema de la semana: Optimización de llamadas recursivas

[apuntes:https://users.dcc.uchile.cl/~etanter/CC5116/lec_tail-calls_notes.html] [videos: https://youtu.be/bRC1MIrVuRM]
  • Optimizaciones comparadas en distintos lenguajes
  • Iteración vs recursión
  • Cómo optimizar la recursión por la cola

Nos vemos el jueves a las 16:15 para aclarar las dudas que tengan.

Reuniones agendadas

  • Reunión con Tomás: 
    • Grupo 3: lunes 22 de octubre, a las 14.00
    • Grupo 4: lunes 22 de octubre, a las 17:30
    • Grupo 8 y 9: miércoles 24 de octubre, a las 12:00
  • Reunión con Diego:
    • Grupo 6: jueves 25 de octubre, a las 21:00
    • Grupo 2: viernes 26 de octubre, a las 18:00
    • Grupo 1: viernes 26 de octubre, a las 19:00
    • Grupo 5: TBA

Finalmente, no se olviden del Discord: https://discord.gg/pa8rRGVBGD

Boletín semanal del 15 de noviembre 2021 17

Tomas Vallejos P. 15 Nov 202115/11/21 a las 10:25 hrs.2021-11-15 10:25:15
Boletines

Hitos evaluativos

Entrega 4: deadline: domingo 21 de noviembre
Quiz 4: lunes 22 de noviembre
Los quizzes serán de la materia de sus respectivas entregas

Tema de la semana: Recolección de basura

[apuntes] [slides hasta el final] [video1, video2]
  • Razones para usar un recolector de basura
  • Recolector usando dos espacios de memoria
  • Algoritmo de Cheney
  • Interacción entre assembly y runtime system al recolectar basura

Nos vemos el jueves a las 16:15 para aclarar las dudas que tengan.

Reuniones agendadas
No hay reuniones esta semana 

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD

Boletín semanal del 8 de noviembre 2021 13

Tomas Vallejos P. 8 Nov 202108/11/21 a las 10:31 hrs.2021-11-08 10:31:08
Boletines

Hitos evaluativos
  • Entrega 4: deadline el domingo 21 de noviembre
Tema de la semana: Conteo de referencias
[apuntes] [slides hasta diapositiva 16] [video]
  • Completitud y Soundness en gestión de memoria
  • Cómo asignar bloques de memoria
  • Conteo de referencias
  • Problemas con mutación y gestión de memoria

Nos vemos el jueves a las 16:15 para aclarar las dudas que tengan.

Reuniones agendadas

Reunión con Tomás: 
  • Grupo 3: lunes 8 de octubre, a las 14.00
  • Grupo 4: lunes 8 de octubre, a las 17:30
  • Grupo 8 y 9: miércoles 10 de octubre, a las 15:45
Reunión con Diego:
  • Grupo 6: jueves 11 de octubre, a las 21:00
  • Grupo 2: viernes 12 de octubre, a las 18:00
  • Grupo 1: viernes 12 de octubre, a las 19:00

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD

Boletín semanal del 25 de Octubre 2021 12

Tomas Vallejos P. 25 Oct 202125/10/21 a las 14:29 hrs.2021-10-25 14:29:25
Boletines

Hitos evaluativos
  • Entrega 4: deadline: domingo 21 de noviembre
  • Quiz 3: lunes 25 octubre 
Los quizzes serán de la materia de sus respectivas entregas

Tema de la semana: Repaso de lambdas
[apuntes] [video1, video2, video3]
  • Funciones como parámetro de otras funciones
  • Chequeo de aridad 
  • Diferencia entre funciones de primer orden y de primera clase
  • Unificando llamados a funciones
  • Manejo y acceso de variables libres en el cuerpo de una lambda
  • Compilación de una clausura
  • Compilación de un llamado a función de primera clase

Nos vemos el jueves a las 16:15 para aclarar las dudas que tengan.

Reuniones agendadas
No hay esta semana

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD

Boletín semanal del 18 de octubre 2021 12

Tomas Vallejos P. 18 Oct 202118/10/21 a las 13:00 hrs.2021-10-18 13:00:18
Boletines

Hitos evaluativos
  • Entrega 3: deadline el domingo 24 de octubre
  • Quiz 3: lunes de 25 de octubre

Tema de la semana: Funciones de primera clase
[apuntes] [videos: funciones como clausuras , compilando clausuras]
  • Unificando llamados a funciones
  • Manejo y acceso de variables libres en el cuerpo de una lambda
  • Compilación de una clausura
  • Compilación de un llamado a función de primera clase

Nos vemos el jueves a las 16:15 para aclarar las dudas que tengan.

Reuniones agendadas

Reunión con Tomás: 
  • Grupo 4: lunes 18 de octubre, a las 17:30
  • Grupo 3: TBA
  • Grupo 8 y 9: miércoles 20 de octubre, a las 15:45
Reunión con Diego:
  • Grupo 6: jueves 21 de octubre, a las 21:00
  • Grupo 2: viernes 22 de octubre, a las 18:00
  • Grupo 1: viernes 22 de octubre, a las 19:00

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD

Boletín semanal del 12 de octubre 2021 (semana 8) 13

Diego Ortego P. 12 Oct 202112/10/21 a las 18:44 hrs.2021-10-12 18:44:12
Boletines

Hitos evaluativos

  • Entrega 3: Se publicará martes 12 de octubre (deadline: domingo 24 de octubre)
  • Quiz 2: martes 12 de octubre

Tema de la semana: Mutación y funciones de primera clase

[apuntes: mutación, lambdas] [videos: video-lambdas-1]
  • Funciones como parámetro de otras funciones
  • Chequeo de aridad 
  • Diferenciación entre funciones de primer orden y de primera clase

Para aclarar las dudas que tengan escriban directamente en el foro.

Reuniones agendadas
  • Solo el grupo 1 con Diego, hora TBA

Finalmente, no se olviden del Discord: https://discord.gg/pa8rRGVBGD

Boletín semanal del 4 de octubre 2021 (semana 7) 15

Tomas Vallejos P. 4 Oct 202104/10/21 a las 12:22 hrs.2021-10-04 12:22:04
Boletines

Hitos evaluativos
  • Entrega 2: deadline: domingo 10 de octubre
  • Quiz 2: lunes de 11 octubre

Tema de la semana: Tuplas y mutación
[apuntes: tuplas, mutación] [videos: video-tuplas, video-mutación]
  • Uso y alineación del heap
  • Compilación de pares y generalización a tuplas
  • Acceso a tuplas
  • Mutación de variables y tuplas

Nos vemos el martes a las 10.00 hrs para aclarar las dudas que tengan.

Reuniones agendadas
Reunión con Tomás: 
  • Grupo 4: lunes 4 de octubre, a las 17:30
  • Grupo 3: martes 5 de octubre, a las 14:30
  • Grupo 8 y 9: miércoles 6 de octubre, a las 15:45
Reunión con Diego:
  • Grupo 6: jueves 7 de octubre, a las 21:00
  • Grupo 2: viernes 8 de octubre, a las 18:00
  • Grupo 1: viernes 8 de octubre, a las 19:00

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD

Boletín semanal del 27 de Septiembre 2021 16

Tomas Vallejos P. 27 Sep 202127/09/21 a las 10:45 hrs.2021-09-27 10:45:27
Boletines

Hitos evaluativos
  • Entrega 2: Se publicará lunes 27 de septiembre con deadline para el domingo 10 de octubre
  • Quiz 1: lunes 27 de septiembre 
Los quizzes serán de la materia de sus respectivas entregas

Tema de la semana: Declaración de funciones de primer orden [apuntes] [videos]
  • Añadir funciones de primer orden
  • Generalizando llamados a funciones
  • Compilar una aplicación de función

Nos vemos el martes a las 10.00 hrs para aclarar las dudas que tengan.

Reuniones agendadas
  • No hay esta semana

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD

Boletín semanal del 20 de Septiembre 2021 16

Tomas Vallejos P. 20 Sep 202120/09/21 a las 09:22 hrs.2021-09-20 09:22:20
Boletines


Hitos evaluativos
  • Quiz 0: Lunes 20 de Septiembre 
  • Entrega 1: Deadline el Domingo 26 de Septiembre
  • Quiz 1: Lunes 27 de Septiembre 
Los quizzes serán de la materia de sus respectivas entregas

Tema de la semana: Nuevos tipos de datos, manejo de errores, llamado de funciones e inter-operabilidad con C 

[apuntes] [videos: errors y convencion de llamado ]
  • Verificación y reporte dinámicos de errores
  • Cómo llamar a C desde nuestro código compilado
  • Convenciones de llamado
Nos vemos el jueves a las 16:15 para aclarar las dudas que tengan.

Reuniones agendadas
Reunión con Tomás: 
  • Grupo 4: lunes 20 de Septiembre, a las 17:30
  • Grupo 3: martes 21 de Septiembre, a las 14:30
  • Grupo 8 y 9: miércoles 22 de Septiembre, a las 15:45
Reunión con Diego: Viernes 24 de Septiembre, a las 16:00

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD