csci2041/repo-zhan4854/Hwk_04_Assessment.md

Assessment for Homework 04

Total score: 100 / 100

Run on March 27, 18:18:29 PM.

• Pass: Change into directory "Hwk_04".

Feedback for aritmetic.ml

• Pass: Check that file "arithmetic.ml" exists.

• Pass: Check that an OCaml file "arithmetic.ml" has no syntax or type errors.

  OCaml file "arithmetic.ml" has no syntax or type errors.

show_expr

• 3 / 3 : Pass: Check that the result of evaluating show_expr (Add(Const 1, Const 3)) matches the pattern "(1+3)".

• 3 / 3 : Pass: Check that the result of evaluating show_expr (Add (Const 1, Mul (Const 3, Const 4))) matches the pattern "(1+(3*4))".

• 4 / 4 : Pass: Check that the result of evaluating show_expr (Mul (Add(Const 1, Const 3), Div(Const 8, Const 4))) matches the pattern "((1+3)*(8/4))".

show_pretty_expr

• 2 / 2 : Pass: Check that the result of evaluating show_pretty_expr (Add (Const 1, Mul (Const 3, Const 4))) matches the pattern "1+3*4".

• 3 / 3 : Pass: Check that the result of evaluating show_pretty_expr (Add (Mul (Const 1, Const 3), Const 4)) matches the pattern "1*3+4".

• 4 / 4 : Pass: Check that the result of evaluating show_pretty_expr (Add (Const 1, Add (Const 3, Const 4))) matches the pattern "1+(3+4)".

• 3 / 3 : Pass: Check that the result of evaluating show_pretty_expr (Add (Add (Const 1, Const 3), Const 4)) matches the pattern "1+3+4".

• 4 / 4 : Pass: Check that the result of evaluating show_pretty_expr (Mul (Const 4, Add (Const 3, Const 2))) matches the pattern "4*(3+2)".

• 4 / 4 : Pass: Check that the result of evaluating show_pretty_expr (Sub (Sub (Const 1, Const 2), Sub (Const 3, Const 4))) matches the pattern "1-2-(3-4)".

Feedback for eval.ml

• Pass: Check that file "eval.ml" exists.

• Pass: Check that an OCaml file "eval.ml" has no syntax or type errors.

  OCaml file "eval.ml" has no syntax or type errors.

freevars

• 2 / 2 : Pass: Check that the result of evaluating freevars (Add (Value (Int 3), Mul (Id "x", Id "y"))) matches the pattern ["x"; "y"].

• 2 / 2 : Pass: Check that the result of evaluating freevars (Let ("x", Id "z", Add (Value (Int 3), Mul (Id "x", Id "y")))) matches the pattern ["z"; "y"].

• 2 / 2 : Pass: Check that the result of evaluating freevars (Let ("x", Id "x", Add (Value (Int 3), Mul (Id "x", Id "y")))) matches the pattern ["x"; "y"].

• 2 / 2 : Pass: Check that the result of evaluating freevars (Lambda ("x", Add (Value (Int 3), Mul (Id "x", Id "y")))) matches the pattern ["y"].

• 2 / 2 : Pass: Check that the result of evaluating freevars sumToN_expr matches the pattern [].

evaluate - arithmetic

• 5 / 5 : Pass: Check that the result of evaluating evaluate (Add (Value (Int 1), Mul (Value (Int 2), Value (Int 3)))) matches the pattern Int 7.

evaluate - logical

• 2 / 2 : Pass: Check that the result of evaluating evaluate (Eq (Value (Int 1), Mul (Value (Int 2), Value (Int 3)))) matches the pattern Bool false.

• 3 / 3 : Pass: Check that the result of evaluating evaluate (Lt (Value (Int 1), Mul (Value (Int 2), Value (Int 3)))) matches the pattern Bool true.

evaluate - conditional

• 2 / 2 : Pass: Check that the result of evaluating

evaluate (If (Lt (Value (Int 1), Mul (Value (Int 2), Value (Int 3))), Value (Int 4), Value (Int 5)))

matches the pattern `Int 4`.





+  _3_ / _3_ : Pass: Check that the result of evaluating 

evaluate (If (Lt (Value (Int 10), Mul (Value (Int 2), Value (Int 3))), Value (Int 4), Value (Int 5)))

matches the pattern `Int 5`.





##### ``evaluate - let expressions``

+  _5_ / _5_ : Pass: Check that the result of evaluating `evaluate (Let ("x", Value (Int 2), Add (Id "x", Value (Int 4))))` matches the pattern `Int 6`.





+  _5_ / _5_ : Pass: Check that the result of evaluating 

evaluate (Let ("x", Value (Int 2), Let ("y", Add (Id "x", Value (Int 4)), Add (Id "x", Id "y"))))

matches the pattern `Int 8`.





##### ``evaluate - non-recursive functions``

+  _4_ / _4_ : Pass: Check that the result of evaluating `evaluate (App (add, Value (Int 1)))` matches the pattern `Closure ("y", Add (Id "x", Id "y"), [("x", Int 1)])`.





+  _5_ / _5_ : Pass: Check that the result of evaluating `evaluate (App ( (App (add, Value (Int 1))), Value (Int 2)))` matches the pattern `Int 3`.





+  _6_ / _6_ : Pass: Check that the result of evaluating 

evaluate (Let ("add2", Let ("two", Value (Int 2), Lambda ("x", Add (Id "x", Id "two"))), App (Id "add2", Value (Int 4))))

matches the pattern `Int 6`.





##### ``evaluate - recursive functions``

+  _2_ / _2_ : Pass: Check that the result of evaluating `evaluate (App (sumToN_expr, Value (Int 0)))` matches the pattern `Int 0`.





+  _8_ / _8_ : Pass: Check that the result of evaluating `evaluate (App (sumToN_expr, Value (Int 1)))` matches the pattern `Int 1`.





+  _10_ / _10_ : Pass: Check that the result of evaluating `evaluate (App (sumToN_expr, Value (Int 10)))` matches the pattern `Int 55`.





#### Total score: _100_ / _100_