Placeholder

[Matteo Ferrando]

TODO

• Modo de pruebas
• REPL
• Pros & Cons de comportamientos

Capítulo de Desarrollo

• ¿Chequeo de tipos?
  • open es equivalente a closed una vez que se leyó el todo el código.
• Pattern matching
• Capaz es desordenado así?
• INVESTIGACIÓN

Feedback de GaCeLa

• Hacer un estudio completo del estado del arte

• Cuidado con términos a utilizar

  Por ejemplo: un estado con (x < 0 and y > 3) es válido

  válido no se debe usar, pues en lógica significa que es teorema

Capítulo de Resultados

• Diseño completo
  • Capaz tener algunas cosas para ejemplos definidas?
• ¿Estado actual del interpretador?, por qué no importa que no se logró el chequeo de tipos
• Comparaciones a otros lenguajes (expresividad, claridad, etc.)
• ¿Tiempos de parser de operadores mixfijos?

Conclusiones / trabajo futuro

• totality check

Cambios de diseño a considerar

• Agregar undefined / error y sus repercusiones

Cosas a estar pendiente

• Comas, puntos y demás en los bloques matemáticos.
• Continuación de texto después de un bloque matemático (mayúscula, minúscula, etc.).
• Tiempos (pasado, presente) y sujeto (personal, impersonal) del discurso.
• Argumentos / Parámetros
• Definición / Declaración
• Parentizar referencias.
• Arreglar figuras / ecuaciones / captionof

Cambio de palabras

• [asume := supone]
• [note := nótese]
• [implantación := implementación]
• [el lenguaje de programción := Angler], en cada capítulo decir que es el lenguaje desarrollándose.