1 files changed, 105 insertions, 0 deletions
diff --git a/cards.ml b/cards.ml
new file mode 100644
index 0000000..9267929
--- /dev/null
+++ b/cards.ml
@@ -0,0 +1,105 @@
+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
+