... HVM4 ahora incluye un método general para compilar funciones de Cálculo de Interacción a código de máquina sin sobrecarga, incluidas las funciones con superposiciones. Ten en cuenta que HVM2 (que Bend utilizó originalmente) siempre dependió de un intérprete. Prometimos que eventualmente lo compilaríamos. HVM3 compiló solo funciones similares a Haskell, obteniendo un aumento de más de 100x en estos casos, pero aún necesitaba recurrir al "intérprete" cuando se trataba de superposiciones. Finalmente, por primera vez, HVM4 ahora es capaz de ejecutar funciones de Cálculo de Interacción, incluso estas con superposiciones, en modo completamente compilado, sin sobrecarga. Es extraño cómo estamos llevando las Redes de Interacción más allá de cualquier cosa que se haya hecho antes, hasta el punto en que ni siquiera tenemos a nadie con quien comunicar el progreso. El campo es prácticamente inexistente, no hay artículos, no hay convenciones, no hay comunidad. Mis tweets están básicamente empujando los límites de lo que la humanidad sabe sobre este paradigma. Eso se siente realmente incómodo, y creo que esto se debe principalmente a que es genuinamente poco intuitivo. En cualquier caso, a continuación se muestra un mensaje de commit perezoso que explica el último caso de este algoritmo: cómo lidiar con la aplicación de una superposición estática (compilada) a un argumento dinámico...