... HVM4 inkluderer nå en generell metode for å kompilere interaksjonsregningsfunksjoner til null-overhead maskinkode, inkludert funksjoner med superposisjoner. Merk at HVM2 (som Bend brukte opprinnelig) alltid var avhengig av en tolk. Vi lovet at vi til slutt skulle kompilere den. HVM3 kompilerte kun Haskell-lignende funksjoner, og fikk en 100x+ boost i disse tilfellene, men måtte fortsatt falle tilbake til "tolken" når superposisjoner var involvert. Endelig, for første gang noensinne, er HVM4 nå i stand til å kjøre Interaction Calculus-funksjoner, selv disse med superposisjoner, i full kompilert modus, uten overhead. Det er rart hvordan vi presser Interaction Nets utover alt som noen gang har blitt gjort før, til det punktet at vi ikke engang har noen til å kommunisere fremdriften. Feltet er så godt som ikke-eksisterende, det er ingen papirer, ingen konvensjoner, ikke noe fellesskap. Mine tweets flytter i utgangspunktet kanten av hva menneskeheten vet om dette paradigmet. Det føles veldig vanskelig, og jeg tror dette mest skyldes at det er genuint lite intuitivt. Uansett, nedenfor er en lat commit-melding som forklarer det siste tilfellet av denne algoritmen: hvordan håndtere å bruke en statisk (kompilert) superposisjon på et dynamisk argument...