Tree Calculus: el cálculo más simple que puede hacerlo todo
Una introducción visual al tree calculus, un cálculo minimalista, modular, Turing-completo y reflexivo donde los programas son árboles binarios sin etiquetas. Con solo tres reglas de reducción, es tan simple que se puede ejecutar a mano y explicar sin símbolos griegos ni paréntesis. El artículo muestra cómo representar datos, construir programas y hasta un compilador de 200.000 nodos, todo con árboles.
Mi mamá es muy inteligente, pero nunca había oído hablar del cálculo lambda, la lógica combinatoria ni los sistemas de reescritura de términos. Y eso sigue siendo cierto ahora, porque el tree calculus puede explicarse —y usarse— sin ninguna letra griega ni paréntesis. Porque todo son árboles.