X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment7.mdwn;h=337249c07d9f9b45b733df6f45af2a51f0deddf0;hp=a262426f080089082f27766ddbe1a5e2a414f840;hb=67eb7e126865dc1b3e0445c88ed9610209ec90d2;hpb=c1f6662a4044c94af84fd029ad5f6579df83bd9c
diff --git a/assignment7.mdwn b/assignment7.mdwn
index a262426f..337249c0 100644
--- a/assignment7.mdwn
+++ b/assignment7.mdwn
@@ -1,19 +1,19 @@
+**The hints for problem 2 were being actively developed until Saturday morning. They're stable now. Remember you have a grace period until Sunday Nov. 28 to complete this homework.**
-1. Make sure that your operation-counting monad from [[assignment6]] is working. Modify it so that instead of counting operations, it keeps track of the last remainder of any integer division. You can help yourself to any of the functions:
+1. Make sure that your operation-counting monad from [[assignment6]] is working. Modify it so that instead of counting operations, it keeps track of the last remainder of any integer division. You can help yourself to the functions:
- let div x y = x / y;;
- let mod x y = x mod y;;
- let divmod x y = (div x y, mod x y);;
+ let div x y = x / y;;
+ let remainder x y = x mod y;;
-you like. Write a monadic operation that enables you to retrieve the last-saved remainder, at any arbitrary later point in the computation.
+ Write a monadic operation that enables you to retrieve the last-saved remainder, at any arbitrary later point in the computation.
-2. For the next assignment, read the paper [coreference-and-modality](/coreference-and-modality.pdf). Your task will be to re-express the semantics they offer in the terms we're now working with. You'll probably want to review the lecture notes from this week's meeting, which we haven't yet been able to post. We will do that soon. In the meantime, you can get started reading the paper.
+2. For the next assignment, read the paper [Coreference and Modality](/coreference-and-modality.pdf). Your task will be to re-express the semantics they offer up to the middle of p. 16, in the terms we're now working with. You'll probably want to review the lecture notes from this week's meeting, which we haven't yet been able to post. We will do that soon. In the meantime, you can get started reading the paper.
-Some advice:
+ Some advice:
-* You don't need to re-express the epistemic modality part of their semantics, just the treatment of indefinites. Though extra credit if you do the whole thing.
+ * You don't need to re-express the epistemic modality part of their semantics, just their treatment of extensional predicate logic. Though extra credit if you want to do the whole thing.
-* You'll want to use the implementation of "implicitly represented" mutable variables that we discussed at the end of this week's meeting, or the "state monad" Chris presented, which is a simple version of the former. Conceptually, though, it's sometimes useful to switch back and forth between the "implicitly represented" model and the "explicitly represented" model.
+ * You'll want to use the implementation of "implicitly represented" mutable variables that we discussed at the end of this week's meeting, or the "state monad" Chris presented, which is a simple version of the former.
-* Here are some [hints](/hints/Assignment 7 Hint 1).
+ * Here are some [hints](/hints/assignment_7_hint_1).