hvm 2.0.22

A massively parallel, optimal functional runtime in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

test-io = 1

def unwrap(res):
  match res:
    case Result/Ok:
      return res.val
    case Result/Err:
      return res.val

def open():
  return call("OPEN", ("./LICENSE", "r"))

def read(f):
  return call("READ", (f, 47))

def print(bytes):
  with IO:
    * <- call("WRITE", (1, bytes))
    * <- call("WRITE", (1, "\n"))

    return wrap(*)

def close(f):
  return call("CLOSE", f)

def main():
  with IO:
    f <- open()
    f = unwrap(f)
    bytes <- read(f)
    bytes = unwrap(bytes)
    * <- print(bytes)
    res <- close(f)

    return wrap(res)