link to hint
authorjim <jim@web>
Sun, 1 Mar 2015 21:04:24 +0000 (16:04 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sun, 1 Mar 2015 21:04:24 +0000 (16:04 -0500)
exercises/_assignment5.mdwn

index 4383229..c7ff959 100644 (file)
@@ -497,15 +497,4 @@ and that `bool` is any boolean expression.  Then we can try the following:
 
     does not terminate.  Incidentally, using the shorter `match bool with true -> yes | false -> no` rather than the longer `let b = bool ... in match b with ...` *would* work as we desire. But your assignment is to control the evaluation order *without* using the special evaluation order properties of OCaml's native `if` or of its `match`. That is, you must keep the `let b = ... in match b with ...` structure in your answer, though you are allowed to adjust what `b`, `y`, and `n` get assigned to.
 
 
     does not terminate.  Incidentally, using the shorter `match bool with true -> yes | false -> no` rather than the longer `let b = bool ... in match b with ...` *would* work as we desire. But your assignment is to control the evaluation order *without* using the special evaluation order properties of OCaml's native `if` or of its `match`. That is, you must keep the `let b = ... in match b with ...` structure in your answer, though you are allowed to adjust what `b`, `y`, and `n` get assigned to.
 
-    Here's a hint. (WHERE?)
-
-    <!-- Use thunks! (want more help?) -->
-
-    <!--
-    What does
-        let x = (fun () -> 2) in
-        let y = (fun () -> 3) in
-        match true with true -> x | false -> y
-    evaluate to?
-    -->
-
+    Here's a [[hint|assignment5 hint1]].