... HVM4 ahora incluye un método general para compilar funciones de Cálculo de Interacción a código máquina sin sobrecarga, incluidas las funciones con superposiciones. Cabe destacar que HVM2 (la versión original de Bend) siempre dependió de un intérprete. Prometimos compilarlo eventualmente. HVM3 solo compilaba funciones tipo Haskell, obteniendo una mejora de rendimiento superior a 100x en estos casos, pero aún necesitaba recurrir al intérprete cuando había superposiciones involucradas. Finalmente, por primera vez, HVM4 es capaz de ejecutar funciones de Cálculo de Interacción, incluso aquellas con superposiciones, en modo totalmente compilado y sin sobrecarga. Es extraño cómo estamos llevando las Redes de Interacción más allá de todo lo que se ha hecho hasta ahora, al punto de que ni siquiera tenemos con quién comunicar el progreso. El campo es prácticamente inexistente; no hay publicaciones, ni convenciones, ni comunidad. Mis tuits, básicamente, están explorando los límites del conocimiento humano sobre este paradigma. Esto resulta bastante incómodo, y creo que se debe principalmente a que es genuinamente poco intuitivo. En cualquier caso, a continuación se muestra un mensaje de confirmación que explica el último caso de este algoritmo: cómo aplicar una superposición estática (compilada) a un argumento dinámico...
