lambda_mountain 1.12.9

Lambda Mountain
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


import STDLIB/default-instruction-set.lm;
import STDLIB/default-primitives.lm;
import STDLIB/default-stdlib.lm;
import STDLIB/default-rules.lm;

type ParsePartial (PME( U64 , U64 )); # term, remainder

close := λ(: x ParsePartial). (: (tail(
   (mov( (malloc(sizeof ParsePartial)) R8 ))
   (mov( x 0_u64 (as R8 ParsePartial[]) ))
   (as R8 ParsePartial[])
)) ParsePartial[]);

part := λ. (: (tail(
   ()
   (close (PME( 1_u64 2_u64 )))
)) ParsePartial[]);

main := (
   (match (part()) (
      ()
      ( (PME( l r )) (print r) )
   ))
);