hvm - Intermediate representation language

hvm is an intermediate representation language created in 2022 by Victor Taelin.

#3263on PLDB

2Years Old

HVM is a low-level compile target for high-level languages. It provides a raw syntax for wiring interaction nets.

Tags: intermediate representation language
First announcement of hvm
See also: (1 related languages) HVM2
1 PLDB concepts link to hvm: HVM2

Example from the web:

@main = a
  & @sum ~ (28 (0 a))

@sum = (?(((a a) @sum__C0) b) b)

@sum__C0 = ({c a} ({$([*2] $([+1] d)) $([*2] $([+0] b))} f))
  &! @sum ~ (a (b $([+] $(e f))))
  &! @sum ~ (c (d e))