blob: 63b7c41c02c5245fd1152bf073b7747d53fc6390 (
plain)
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
|
type card =
| I
| Zero
| Succ
| Dbl
| Get
| Put
| S
| K
| Inc
| Dec
| Attack
| Help
| Copy
| Revive
| Zombie
;;
let card_of_string s = match s with
| "I" -> I
| "zero" -> Zero
| "Succ" -> Succ
| "dbl" -> Dbl
| "get" -> Get
| "put" -> Put
| "S" -> S
| "K" -> K
| "inc" -> Inc
| "dec" -> Dec
| "attack" -> Attack
| "help" -> Help
| "copy" -> Copy
| "revive" -> Revive
| "zombie" -> Zombie
;;
type slot = {
mutable vitality: int;
mutable field: lambda
}
;;
let left_apply card slot = match card with
| S -> slot.field <- s @ slot.field
let proponent = Array.init 256 (fun _ -> {vitality = 10000; field = id})
let opponent = Array.init 256 (fun _ -> {vitality = 10000; field = id})
type 'a lambda = Lambda of ('a -> 'a)
let unfold (Lambda x) = x
let (@) a1 a2 = unfold a1 a2;;
let s = Lambda(fun f -> Lambda(fun g -> Lambda(fun Lambda(x) -> (f @ x) @ (g @ x))))
type lambda =
|Const of int
|Lambda of (lambda -> lambda);;
let out (Lambda x) = x
let (!) x = Lambda x
let (@) a1 a2 = out a1 a2
let id = !(fun x -> x)
let zero = Const 0
let succ (Const n) = if n < 65535 then Const (n+1) else Const n
let dbl (Const n) = if n<32768 then Const(2*n) else Const n
let get (Const i) = if player1.(i).vitality > 0 then player1.(i).field else failwith "dead"
let put = !(fun x -> id)
let s = !(fun f -> !(fun g -> !(fun x -> (f @ x) @ (g @ x))))
let k = !(fun x -> Lambda(fun y -> y))
let inc (Const i) = let v = proponent.(i).vitality in
if ( v < 65535 ) & ( v > 0 ) then
proponent.(i).vitality <- proponent.(i).vitality + 1;
id
let dec (Const i) = let v = opponent.(255-i).vitality in
if v>0 then
opponent.(255-1).vitality <-opponent.(255-1).vitality-1;
id
let attack (Const i) (Const j) (Const n) =
let v = proponent.(i).vitality in
if v - n > 0 then
proponent.(i).vitality <- proponent.(i).vitality - n
else
failwith "not enough life";
let w = opponent.(j).vitality in
if w>0 then
proponent.(j).vitality <- max(0, ,
let help (Const i) (Const j) (Const n) =
let v = proponent.(i).vitality in
if v - n > 0 then
proponent.(i).vitality <- proponent.(i).vitality - n
else
failwith "not enough life";
let w = proponent.(j).vitality in
if w>0 then
proponent.(j).vitality <- min (w + n*11/10) 65535;
id
let copy (Const i) =
opponent.(i).field
let revive (Const i) =
let v = proponent.(i).vitality in
if v <= 0 then
proponent.(i).vitality <- 1;
id
let iva = "je travaille sur matlab!"
|
