dlp-2021's Introduction

dlp_2021

Estudio estudio gas gas gas gas

Obligatorios (5 ptos +1 si ingles):

(Listo) Reconocimiento de expresiones multi-línea
(Listo) Incorporación de un punto fijo interno para declarar definiciones recursivas directas
(Listo) Incorporación de un contexto en la terminal -> contexto funcional
(Listo) Incorporación del tipo string: >> "a"^"a"^"a";; -> syntax error (ok)
(Listo) Incorporación de pares.
Memoria

Opcionales:

(0.25) modo debug
(1.00) registros -> pendiente de duda graña
(1.00) listas -> cabeza ( head() o .hd ), cola( tail() o .tl) y es vacía -> (me confundí y hice la proyección tambien, pero queda para los registros)
(2.00) subtipado

DUDAS:

hector dijo que estaba algo mal de la gramatica con el concat -> LO PASAMOS A PARES Y LISTO
que pasa con claves repetidas? -> no hay problema comprobamos
creo el tipo de dato top?

Datos:

TODO

Esciribir en el fichero examples.txt -> ejemplos adicionales que involucren doble recursividad a partir de la suma (Fibonacci)
revisar todo el código y pulirlo (antes de la ultima clase), mucho comentario y mucha mierda
hacer el map de listas
Revisar los parentesis en los prints
Debuguear de alguna forma bien todo lo de listas porque es mucho código con bucles sin revisar -> buscar cassos de casque
Mirar de cambiar todos los letrecs de TmREcord por 2 reglas en el pattern matching principal
Revisar que todos los types funcionen con unas funcionces lambda
Debuguear todo el subtipado
Tratar de explicar los paréntesis -> cuando debe haberlos
pedro busca RECOMMENT en el código para revisar los comentarios de los que no estaba seguro

MEMORIA

String Cualquier cosa que no sea un terminador, op concat como en ocaml Tuplas (x,y) el tipo se especifica con *

Recommend Projects