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
|
>> 1;
it : Number
it = Numval 1
>> + 2 ((\x.x) 3);
it : Number
it = Numval 5
>> if + 0 1 then 1 else 0 fi;
it : Number
it = Numval 1
>> let f = \x. + x 1;
f : (Number -> Number)
f = Funval <fun>
>> let I = \x. x;
I : ('a -> 'a)
I = Funval <fun>
>> let x = I (f 2);
x : Number
x = Numval 3
>> let g = \x.x 1;
g : ((Number -> 'a) -> 'a)
g = Funval <fun>
>> + (I 1) (I I 2);
it : Number
it = Numval 3
>> (\x.x x) (\x.x);
it : ('a -> 'a)
it = Funval <fun>
>> (if x then (\x.x) else 2 fi) 0;
*** ASL Type clash between ('a -> 'a) and Number
*** Failed: ASL typing
>> let Z = \f. (\x.f(\y.x x y)) (\x.f(\y.x x y));
*** ASL Type clash between 'a and ('a -> 'b)
*** Failed: ASL typing
>> let Z = \f. (\V.V (magic V)) (\x.f(\y.magic x x y));
Z : ((('a -> 'b) -> 'c) -> 'c)
Z = Funval <fun>
>> let fact = Z (\fact.\n. if = n 0 then 1 else * n (fact (- n 1)) fi);
fact : (Number -> Number)
fact = Funval <fun>
>> fact 8;
it : Number
it = Numval 40320
>> let fib = Z (\fib.\n.
>> if = n 1 then 1
>> else if = n 2 then 1 else + (fib(- n 1)) (fib(- n 2)) fi fi
>> );
fib : (Number -> Number)
fib = Funval <fun>
>> fib 9;
it : Number
it = Numval 34
>> + (\x.x) 1;
*** ASL Type clash between Number and ('a -> 'a)
*** Failed: ASL typing
>>
|
