Un paso atras, ¿dos adelante?

Dicen que a veces para dar avanzar hay que retroceder un poco. Puede que haya sido el caso esta semana.

El miércoles casi desespero cuando encontré un error que hizo tambalear varias partes relativamente importantes del formalismo que estamos usando.

Me pasé el jueves y el viernes sufriendo para ver como se emparchaba. Charlando con Diego y Dani para solucionarlo.

Finalmente la solución que encontramos no es la que más nos satisface, pero es la más cercana a lo que hay hecho. Cualquier otra versión que se nos ocurrió tenía problemas iguales o peores y nada parecía indicar que valía la pena el esfuerzo y el riesgo.

Así que casi como al comienzo, pero con muchas más justificaciones de por qué hicimos lo que hicimos cómo lo hicimos.

Avanzo un poco más

Creo que es normal que ya no escriba tanto acá. Estoy escribiendo mucho en la tesis y creo que antes cuando programaba extrañaba el castellano y usaba este medio para reencontrarme un poquito. Ahora no lo necesito tanto...

Bueno, avancé un poco más, tengo la formalización para la parte básica del lenguaje terminada y algunas demostraciones. Esta semana se viene complicada, pero si tengo tiempo voy a ver de empezar a formalizar las construcciones de alto nivel.

Avanzo con la formalización

Entregué una primera versión a Diego y Dani, me hicieron algunas correcciones y volví a entregarles otra versión.

Ya tengo la sintáxis y la semántica operacional que me convencen bastante. Avancé un poco con la semántica abstracta, que sería lo que permite "tipar" programas con sus pre y post condiciones.