Investigadores han desarrollado 'Tree Calculus', un nuevo modelo computacional que promete revolucionar el análisis de programas. Este sistema, presentado en treecalcul.us, se distingue por su simplicidad: utiliza árboles binarios no etiquetados como valores y reglas de reducción para la computación, resultando en una sintaxis abstracta trivial. Lo más significativo es que Tree Calculus es Turing completo e 'intensional', lo que significa que permite la reflexión sobre los propios programas, eliminando la necesidad de herramientas externas para tareas como la verificación de tipos, compilación y optimización. Esto abre la puerta a entornos de desarrollo (REPLs) extremadamente potentes, incluso con la posibilidad de usar Jupyter Notebooks para todo el ciclo de vida de un producto.
La intensionalidad también facilita la compilación y despliegue de programas directamente desde el propio código. Además, Tree Calculus simplifica la formulación del problema de la detención (Halting Problem) y permite la serialización de cualquier valor, incluyendo programas, sin distinción entre el programa y su codificación. Su portabilidad es excepcional, ya que su sintaxis y semántica son mínimas y no dependen de plataformas específicas, facilitando la creación de intérpretes en cualquier lenguaje. Los investigadores consideran que este modelo es especialmente adecuado para la educación y la especificación formal.