... HVM4에는 이제 중첩이 있는 함수를 포함하여 Interaction Calculus 함수를 오버헤드가 없는 머신 코드로 컴파일하는 일반적인 방법이 포함되었습니다. HVM2(Bend가 원래 사용했던)는 항상 인터프리터에 의존했습니다. 결국에는 컴파일하겠다고 약속했죠. HVM3는 Haskell과 유사한 함수만 컴파일하여 이러한 경우 성능이 100배 이상 향상되었지만, 중첩이 관련된 경우에는 여전히 "인터프리터"로 돌아가야 했습니다. 마지막으로, HVM4는 역사상 처음으로 중첩이 포함된 상호작용 미적분 함수도 오버헤드 없이 완전 컴파일 모드에서 실행할 수 있게 되었습니다. 인터랙션 넷(Interaction Net)을 지금까지 시도된 어떤 것보다 더 발전시키고 있다는 게 참 이상하네요. 심지어 진행 상황을 알려줄 사람도 없을 정도죠. 이 분야는 사실상 전무한 상태이고, 논문도, 컨벤션도, 커뮤니티도 없어요. 제 트윗은 인류가 이 패러다임에 대해 아는 것의 한계를 뛰어넘고 있는 셈입니다. 정말 어색한데, 그 이유는 이 패러다임이 정말 직관적이지 않기 때문이라고 생각합니다. 어쨌든, 아래는 이 알고리즘의 마지막 사례를 설명하는 게으른 커밋 메시지입니다. 즉, 정적(컴파일된) 중첩을 동적 인수에 적용하는 방법을 처리하는 방법입니다...
