Lahenda toylangs praktikumis

Author: sim642

src/toylangs/bool.ml

@@ -13,5 +13,25 @@ type env = CharSet.t
 
 
 (** Vihje: Kasuta Crashcourse.Basics.implies funktsiooni. *)
-let rec eval (env: env) (e: t): bool =
-  failwith "TODO"
+(* let rec eval (env: env) (e: t): bool =
+  match e with
+  | Var x -> CharSet.mem x env
+  | Not e -> not (eval env e)
+  | Or (e1, e2) -> eval env e1 || eval env e2
+  | Imp (e1, e2) -> Crashcourse.Basics.implies (eval env e1) (eval env e2) *)
+(* let rec eval (env: env) (e: t): bool =
+  let eval' = eval env in
+  match e with
+  | Var x -> CharSet.mem x env
+  | Not e -> not (eval' e)
+  | Or (e1, e2) -> eval' e1 || eval' e2
+  | Imp (e1, e2) -> Crashcourse.Basics.implies (eval' e1) (eval' e2) *)
+let eval (env: env) (e: t): bool =
+  let rec eval' e =
+    match e with
+    | Var x -> CharSet.mem x env
+    | Not e -> not (eval' e)
+    | Or (e1, e2) -> eval' e1 || eval' e2
+    | Imp (e1, e2) -> Crashcourse.Basics.implies (eval' e1) (eval' e2)
+  in
+  eval' e

src/toylangs/expr.ml

@@ -9,4 +9,8 @@ type t =
 
 
 let rec eval (e: t): int =
-  failwith "TODO"
+  match e with
+  | Num i -> i
+  | Neg e -> -(eval e)
+  | Add (e1, e2) -> eval e1 + eval e2
+  | Div (e1, e2) -> eval e1 / eval e2

src/toylangs/imp.ml

@@ -15,10 +15,29 @@ type assign = char * expr
 (** Programm. *)
 type prog = assign list * expr
 
+(** Väärtuskeskkond. *)
+module Env = Map.Make (Char)
+type env = int Env.t
 
+let rec eval_expr (env: env) (e: expr): int =
+  match e with
+  | Num i -> i
+  | Var x -> Env.find x env
+  | Neg e -> -(eval_expr env e)
+  | Add (e1, e2) -> eval_expr env e1 + eval_expr env e2
+  | Div (e1, e2) -> eval_expr env e1 / eval_expr env e2
+
+let eval_assign (env: env) ((x, e): assign): env =
+  let i = eval_expr env e in
+  Env.add x i env
 
 (** Väärtustab programmi koos omistamistega.
     Vihje: Kirjuta abifunktsioonid avaldiste ja omistamiste väärtustamiseks.
     Vihje: List.fold_left. *)
 let eval_prog ((assigns, expr): prog): int =
-  failwith "TODO"
+  (* let env = List.fold_left (fun acc assign ->
+      eval_assign acc assign
+    ) Env.empty assigns
+  in *)
+  let env = List.fold_left eval_assign Env.empty assigns in
+  eval_expr env expr

src/toylangs/rnd.ml

@@ -14,7 +14,16 @@ type coin = unit -> bool
 (** Väärtustab avaldise etteantud mündiga.
     NB! Väärtustamise järjekord on oluline. *)
 let rec eval (coin: coin) (e: t): int =
-  failwith "TODO"
+  match e with
+  | Num i -> i
+  | Neg e -> -(eval coin e)
+  (* | Add (e1, e2) -> eval coin e2 + eval coin e1 *)
+  | Add (e1, e2) ->
+    let i1 = eval coin e1 in
+    let i2 = eval coin e2 in
+    i1 + i2
+  (* | Flip (e1, e2) -> if coin () then eval coin e1 else eval coin e2 *)
+  | Flip (e1, e2) -> eval coin (if coin () then e1 else e2)
 
 
 (** Konstrueerib kahe listi otsekorrutise. *)
@@ -31,7 +40,13 @@ let cartesian_map (f: 'a -> 'b -> 'c) (l1: 'a list) (l2: 'b list): 'c list =
     Vihje: List.map.
     Vihje: cartesian_product või cartesian_map. *)
 let rec eval_list (e: t): int list =
-  failwith "TODO"
+  match e with
+  | Num i -> [i]
+  | Neg e -> List.map (fun x -> -x) (eval_list e)
+  (* | Add (e1, e2) -> List.map (fun (x, y) -> x + y) (cartesian_product (eval_list e1) (eval_list e2)) *)
+  (* | Add (e1, e2) -> cartesian_map (fun x y -> x + y) (eval_list e1) (eval_list e2) *)
+  | Add (e1, e2) -> cartesian_map (+) (eval_list e1) (eval_list e2)
+  | Flip (e1, e2) -> eval_list e1 @ eval_list e2
 
 
 module IntSet =
@@ -53,4 +68,9 @@ end
     Vihje: IntSet.map.
     Vihje: IntSet.cartesian_map. *)
 let rec eval_set (e: t): IntSet.t =
-  failwith "TODO"
+  (* IntSet.of_list (eval_list e) *)
+  match e with
+  | Num i -> IntSet.singleton i
+  | Neg e -> IntSet.map (fun x -> -x) (eval_set e)
+  | Add (e1, e2) -> IntSet.cartesian_map (+) (eval_set e1) (eval_set e2)
+  | Flip (e1, e2) -> IntSet.union (eval_set e1) (eval_set e2)