... HVM4 inclut désormais une méthode générale pour compiler les fonctions de calcul d'interaction en code machine sans surcharge, y compris les fonctions avec superpositions. Notez que HVM2 (utilisé initialement par Bend) reposait toujours sur un interpréteur. Nous avions promis de le compiler ultérieurement. HVM3 ne compilait que les fonctions de type Haskell, obtenant ainsi un gain de performance de plus de 100 fois dans ces cas, mais devait encore recourir à l'interpréteur en cas de superpositions. Enfin, et pour la toute première fois, HVM4 est désormais capable d'exécuter des fonctions de calcul d'interaction, même celles comportant des superpositions, en mode entièrement compilé, sans aucune surcharge. C'est étrange de voir comment nous repoussons les limites des réseaux d'interaction au-delà de tout ce qui a été fait jusqu'ici, au point de n'avoir personne pour communiquer sur ces progrès. Le domaine est quasiment inexistant : pas de publications, pas de conventions, pas de communauté. Mes tweets ne font qu'effleurer les connaissances de l'humanité sur ce paradigme. C'est assez gênant, et je pense que c'est surtout dû à son caractère véritablement contre-intuitif. En tout cas, voici un message de commit succinct expliquant le dernier cas de cet algorithme : comment appliquer une superposition statique (compilée) à un argument dynamique…
