[S14] Boletín Semanal 12
Gaspar Ricci 23 Nov 202223/11/22 at 08:092022-11-23 08:09:23 Boletines
Hitos Evaluativos
Entrega 5: Recolector de Basura | Plazo hasta este domingo 27/11Quiz 5: Se publicará el lunes 28/11 a las 08:30 AM y estará abierto por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Temas de la Semana
Plazo Recomendado: Martes 29/11Representaciones 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
[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
Pueden llevar sus dudas a la clase del Martes 29/11
Recordatorio: Las clases de los martes son en modalidad online en el siguiente link que también está disponible en la sección «Enlaces».
No olviden el Discord del curso
Mucho éxito en todo! :D
\(^v^)/
[S13] Boletín Semanal 9
Gaspar Ricci 16 Nov 202216/11/22 at 07:582022-11-16 07:58:16 Boletines
Hitos Evaluativos
Entrega 5: Recolector de Basura | Plazo hasta 27/11Quiz 5: Se publicará el lunes 28/11 a las 08:30 AM y estará abierto por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Temas de la Semana
Plazo Recomendado: Martes 22/11Demostrar 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
- Implementación del compilador
- ¿Cómo podemos enunciar el teorema de correctitud?
- Demostración de la correctitud
Pueden llevar sus dudas a la clase del Martes 22/11
Recordatorio: Las clases de los martes son en modalidad online en el siguiente link que también está disponible en la sección «Enlaces»
No olviden el Discord del curso!
Mucho éxito en todo! :D
[S12] Boletín Semanal 10
Gaspar Ricci 9 Nov 202209/11/22 at 07:582022-11-09 07:58:09 Boletines
Hitos Evaluativos
Entrega 4: Funciones de Primera Clase | Plazo hasta este domingo 13/11Quiz 4: Se publicará el lunes 14/11 a las 08:30 AM y estará abierto por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Temas de la Semana
Plazo Recomendado: Martes 15/11Gestió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
Pueden llevar sus dudas a la clase del Martes 15/11
No olviden el Discord del curso
Mucho éxito en todo! :D
[S11] Boletín Semanal 11
Gaspar Ricci 26 Oct 202226/10/22 at 08:092022-10-26 08:09:26 Boletines
Recordatorio: Las clases de los martes son ahora en modalidad online en este link, que también está disponible en la sección «Enlaces».
Quiz 4: Se publicará el lunes 14/11 a las 08:30 AM y estará abierto por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Gestión de Memoria [Parte 1/2]
[Apuntes: Memory Management] [Videos: Memory Management (Part 1/2)]
Pueden llevar sus dudas a la clase del Martes 8/11
No olviden el Discord del curso.
Mucho éxito en todo! :D
Hitos Evaluativos
Entrega 4: Funciones de Primera Clase | Plazo hasta el 13/11Quiz 4: Se publicará el lunes 14/11 a las 08:30 AM y estará abierto por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Temas de la Semana
Plazo Recomendado: Martes 8/11Gestió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)
Pueden llevar sus dudas a la clase del Martes 8/11
No olviden el Discord del curso.
Mucho éxito en todo! :D
[S10] Boletín Semanal 8
Gaspar Ricci 19 Oct 202219/10/22 at 07:552022-10-19 07:55:19 Boletines
Recordatorio: Las clases de los martes son ahora en modalidad online en el siguiente link: Clases Martes, que también está disponible en la sección «Enlaces».
Quiz 3: Será publicado el lunes 24/10 a las 8:30 AM y estará disponible por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Funciones de Primera Clase [Fin 3/3]
[Apuntes: 1st Class Funs][Videos: 1st Class Funs (Parte 3/3)]
Pueden llevar sus dudas de materia a la clase del Martes 25/10 a las 16:15.
No olviden el Discord del curso
Mucho éxito en todo! :D
Hitos Evaluativos
Entrega 3: Uso del Heap & Tuplas | Plazo hasta este domingo 23/10Quiz 3: Será publicado el lunes 24/10 a las 8:30 AM y estará disponible por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Temas de la Semana
Plazo Recomendado: Martes 25/10Funciones 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
Pueden llevar sus dudas de materia a la clase del Martes 25/10 a las 16:15.
No olviden el Discord del curso
Mucho éxito en todo! :D
[S9] Boletín Semanal 8
Gaspar Ricci 12 Oct 202212/10/22 at 08:192022-10-12 08:19:12 Boletines
Hitos Evaluativos
Entrega 3: Uso del Heap & Tuplas | Plazo hasta 23/10Quiz 2: Publicado! Estará abierto hasta mañana jueves a las 8:30 AM.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Temas de la Semana
Plazo Recomendado: Martes 18/10Funciones 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?
Pueden llevar sus dudas a la clase del Martes 18/10
No olviden el Discord del curso
Mucho éxito en todo! :D
[S8] Boletín Semanal 13
Gaspar Ricci 28 Sep 202228/09/22 at 08:212022-09-28 08:21:28 Boletines
Hitos Evaluativos
Entrega 2: Funciones de Primer Orden & Interoperabilidad con C | Plazo hasta este domingo 9/10Quiz 2: Se publicará el martes 11/10 a las 8:30 y estará abierto por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas.
Temas de la Semana
Plazo Recomendado: Martes 11/10Funciones 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
Pueden llevar sus dudas a la clase del Martes 11/10
No olviden el Discord del curso
Mucho éxito en todo! :D
[S6] Boletín Semanal 9
Gaspar Ricci 21 Sep 202221/09/22 at 07:472022-09-21 07:47:21 Boletines
Hitos Evaluativos
Entrega 2: Funciones de Primer Orden & Interoperabilidad con C | Plazo hasta 2/10Quiz 1: Publicado! Se cierra mañana a las 8:30 AM.
Temas de la Semana
Plazo Recomendado: Martes 27/9Tuplas 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.
Pueden llevar sus dudas a la clase del Martes 27/9
No olviden el Discord del curso
Mucho éxito en todo! :D
[S5] Boletín Semanal 9
Gaspar Ricci 7 Sep 202207/09/22 at 08:002022-09-07 08:00:07 Boletines
Hitos Evaluativos
Entrega 1: Let-bindings y otros tipos de dato, plazo hasta este domingo 11/9Quiz 1: Se publicará el 20/9 (a la vuelta del receso) y evaluará los conceptos de la entrega 1.
Temas de la Semana
Plazo Recomendado: Martes 20/9Funciones 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
Pueden llevar sus dudas a la clase del Martes 20/9
No olviden el Discord del curso
Mucho éxito en todo! :D
[S4] Boletín Semanal 13
Gaspar Ricci 31 Aug 202231/08/22 at 07:542022-08-31 07:54:31 Boletines
Hitos Evaluativos
Entrega 1: Let-bindings y otros tipos de dato, plazo hasta 11/9.Quiz 1: Se publicará el 20/9 (después de la semana de receso), y evaluará los conceptos de la entrega 1.
Temas de la Semana
Plazo Recomendado: Próximo martes 6/9Chequeo Dinámico de Errores e Interoperabilidad con C
[Apuntes: Errores e Interop C] [Videos: Errores y Llamado a Funs C | Convenciones de Llamado]- Chequeo y reporte de errores
- Llamar funciones en C desde el código generado por el compilador
- Convenciones de llamado
Pueden llevar sus dudas a la clase del próximo martes 6/9
Pronto los contactaremos para organizar las reuniones de seguimiento.
No olviden el Discord del curso!
Mucho éxito en todo! :D
