... O HVM4 agora inclui um método geral para compilar funções do Cálculo de Interação em código de máquina com sobrecarga zero, incluindo funções com superposições. Note que o HVM2 (originalmente usado por Bend) sempre dependeu de um interpretador. Prometemos que eventualmente o compilaríamos. O HVM3 compilava apenas funções do tipo Haskell, obtendo um aumento de desempenho de mais de 100 vezes nesses casos, mas ainda precisava recorrer ao "interpretador" quando havia superposições envolvidas. Finalmente, pela primeira vez, o HVM4 agora é capaz de executar funções do Cálculo de Interação, mesmo aquelas com superposições, em modo totalmente compilado, sem sobrecarga. É estranho como estamos levando as Redes de Interação além de tudo o que já foi feito antes, a ponto de não termos ninguém para comunicar o progresso. O campo é praticamente inexistente, não há artigos, convenções ou uma comunidade. Meus tweets estão basicamente expandindo os limites do conhecimento humano sobre esse paradigma. Isso é realmente constrangedor, e acho que se deve principalmente ao fato de ser algo genuinamente contraintuitivo. Em todo caso, segue abaixo uma mensagem de commit simplificada explicando o último caso deste algoritmo: como lidar com a aplicação de uma superposição estática (compilada) a um argumento dinâmico...
