Así es como me siento en este momento de la noche, en un día lleno de PROblemas políticos que se vienen en el horizonte.
Y no me siento culpable por sentirme así, ya que la causa de esta alegría es que encontré programando una forma de no pensar en lo nefasto de la situación que se viene...
En concreto, implementé soporte para loops y de esa manera el lenguaje sobre el que corro las verificaciones se volvió infinitamente más expresivo.
Ya demostré la corrección de un programa que calcula la copia de un número mediante incrementos de a uno y un programa que calcula el cociente y el resto de una división.
En estos días voy a ver de terminar de entender y luego implementar una forma de tratar scoping y generalizar el concepto de pre y post condiciones que se le ocurrió a Dani.
Y no me siento culpable por sentirme así, ya que la causa de esta alegría es que encontré programando una forma de no pensar en lo nefasto de la situación que se viene...
En concreto, implementé soporte para loops y de esa manera el lenguaje sobre el que corro las verificaciones se volvió infinitamente más expresivo.
Ya demostré la corrección de un programa que calcula la copia de un número mediante incrementos de a uno y un programa que calcula el cociente y el resto de una división.
En estos días voy a ver de terminar de entender y luego implementar una forma de tratar scoping y generalizar el concepto de pre y post condiciones que se le ocurrió a Dani.
No hay comentarios.:
Publicar un comentario