226 lines
5.2 KiB
Markdown
226 lines
5.2 KiB
Markdown
### 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_
|
|
|