Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| teaching:cc4101:tareas:2024-1:tarea1b [2024/04/30 17:58] – [Checkeo Estático de Tipos] gricci | teaching:cc4101:tareas:2024-1:tarea1b [2025/04/08 22:09] (current) – [Tarea 1b (Entrega: Domingo 21 de Abril de 2024)] dibanez | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Tarea 1b (Entrega: Domingo | + | ====== Tarea 1b (Entrega: Domingo |
| ==== Lenguaje con tipos estáticos ==== | ==== Lenguaje con tipos estáticos ==== | ||
| Line 188: | Line 188: | ||
| ----- | ----- | ||
| - | ===== Parte 2. Verificación estática de tipos (1.9 ptos.) ===== | + | ===== Parte 2. Verificación estática de tipos (2.5 ptos.) ===== |
| En esta parte vamos a extender el lenguaje con anotaciones de tipos y verificación estática de ellos. Las diferencias en la sintaxis del lenguaje respecto de la parte anterior son: | En esta parte vamos a extender el lenguaje con anotaciones de tipos y verificación estática de ellos. Las diferencias en la sintaxis del lenguaje respecto de la parte anterior son: | ||