... O HVM4 agora inclui um método geral para compilar funções de cálculo de interação para código de máquina de sobrecarga zero, incluindo funções com superposições. Observe que o HVM2 (que Bend usou originalmente) sempre contou com um intérprete. Prometemos que acabaríamos por compilá-lo. O HVM3 compilou apenas funções semelhantes a Haskell, obtendo um aumento de 100x + nesses casos, mas ainda precisava voltar para o "intérprete" quando as superposições estavam envolvidas. Finalmente, pela primeira vez, o HVM4 agora é capaz de executar funções de Cálculo de Interação, mesmo aquelas com superposições, no modo compilado completo, sem sobrecarga. É estranho como estamos empurrando as Redes de Interação além de qualquer coisa que já foi feita antes, a ponto de nem termos ninguém para comunicar o progresso. O campo é quase inexistente, não há papéis, nem convenções, nem comunidade. Meus tweets estão basicamente empurrando o limite do que a humanidade sabe sobre esse paradigma. Isso parece muito estranho, e acho que isso se deve principalmente ao fato de ser genuinamente pouco intuitivo. De qualquer forma, abaixo está uma mensagem de commit preguiçoso explicando o último caso deste algoritmo: como lidar com a aplicação de uma superposição estática (compilada) a um argumento dinâmico...