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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115

@IO/Call = (a (b (c (d ((@IO/Call/tag (a (b (c (d e))))) e)))))

@IO/Call/tag = 1

@IO/Done = (a (b ((@IO/Done/tag (a (b c))) c)))

@IO/Done/tag = 0

@IO/MAGIC = (13683217 16719857)

@IO/bind = ((@IO/bind__C2 a) a)

@IO/bind__C0 = (* (b (a c)))
  & @undefer ~ (a (b c))

@IO/bind__C1 = (* (* (a (b ((c d) (e g))))))
  & @IO/Call ~ (@IO/MAGIC (a (b ((c f) g))))
  & @IO/bind ~ (d (e f))

@IO/bind__C2 = (?((@IO/bind__C0 @IO/bind__C1) a) a)

@IO/wrap = a
  & @IO/Done ~ (@IO/MAGIC a)

@String/Cons = (a (b ((@String/Cons/tag (a (b c))) c)))

@String/Cons/tag = 1

@String/Nil = ((@String/Nil/tag a) a)

@String/Nil/tag = 0

@call = (a (b c))
  & @IO/Call ~ (@IO/MAGIC (a (b (@call__C0 c))))

@call__C0 = a
  & @IO/Done ~ (@IO/MAGIC a)

@close = f
  & @call ~ (e f)
  & @String/Cons ~ (67 (d e))
  & @String/Cons ~ (76 (c d))
  & @String/Cons ~ (79 (b c))
  & @String/Cons ~ (83 (a b))
  & @String/Cons ~ (69 (@String/Nil a))

@main = w
  & @IO/bind ~ (@open ((((s (a u)) (@IO/wrap v)) v) w))
  & @IO/bind ~ (c ((((n (o (d q))) (r (s t))) t) u))
  & @unwrap ~ (a {b r})
  & @read ~ (b c)
  & @IO/bind ~ (f ((((g (k (* m))) (n (o p))) p) q))
  & @print ~ (e f)
  & @unwrap ~ (d e)
  & @IO/bind ~ (h ((((i i) (k l)) l) m))
  & @close ~ (g h)

@open = o
  & @call ~ (d ((m n) o))
  & @String/Cons ~ (79 (c d))
  & @String/Cons ~ (80 (b c))
  & @String/Cons ~ (69 (a b))
  & @String/Cons ~ (78 (@String/Nil a))
  & @String/Cons ~ (46 (l m))
  & @String/Cons ~ (47 (k l))
  & @String/Cons ~ (76 (j k))
  & @String/Cons ~ (73 (i j))
  & @String/Cons ~ (67 (h i))
  & @String/Cons ~ (69 (g h))
  & @String/Cons ~ (78 (f g))
  & @String/Cons ~ (83 (e f))
  & @String/Cons ~ (69 (@String/Nil e))
  & @String/Cons ~ (114 (@String/Nil n))

@print = (f h)
  & @IO/bind ~ (g (@print__C3 h))
  & @call ~ (e ((1 f) g))
  & @String/Cons ~ (87 (d e))
  & @String/Cons ~ (82 (c d))
  & @String/Cons ~ (73 (b c))
  & @String/Cons ~ (84 (a b))
  & @String/Cons ~ (69 (@String/Nil a))

@print__C0 = ((* a) (* a))

@print__C1 = g
  & @call ~ (e ((1 f) g))
  & @String/Cons ~ (87 (d e))
  & @String/Cons ~ (82 (c d))
  & @String/Cons ~ (73 (b c))
  & @String/Cons ~ (84 (a b))
  & @String/Cons ~ (69 (@String/Nil a))
  & @String/Cons ~ (10 (@String/Nil f))

@print__C2 = (a (* c))
  & @IO/bind ~ (@print__C1 (((@print__C0 (a b)) b) c))

@print__C3 = ((@print__C2 (@IO/wrap a)) a)

@read = (e f)
  & @call ~ (d ((e 47) f))
  & @String/Cons ~ (82 (c d))
  & @String/Cons ~ (69 (b c))
  & @String/Cons ~ (65 (a b))
  & @String/Cons ~ (68 (@String/Nil a))

@test-io = 1

@undefer = (((a a) b) b)

@unwrap = ((@unwrap__C0 a) a)

@unwrap__C0 = (?(((a a) (* (b b))) c) c)