From 9bb181b5c1f1dfb60942b1261e8ab057ecceed6e Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 23 Dec 2010 22:30:23 -0500 Subject: [PATCH] ass10 hint tweaks Signed-off-by: Jim Pryor --- hints/assignment_10_hint_2.mdwn | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/hints/assignment_10_hint_2.mdwn b/hints/assignment_10_hint_2.mdwn index 9bb1cd66..279c279d 100644 --- a/hints/assignment_10_hint_2.mdwn +++ b/hints/assignment_10_hint_2.mdwn @@ -28,7 +28,8 @@ of each value, rather than how many leaves in total: let update_env e x = fun y -> (if x = y then 1 else 0) + e y;; - let v1 = TreeCont.monadize (fun a k e0 -> + let v1 = TreeCont.monadize (fun a k -> + fun e0 -> let ecur = k a e0 in update_env ecur a ) tree (fun t e -> e) (fun a -> 0);; @@ -39,7 +40,7 @@ of each value, rather than how many leaves in total: v1 '2' ~~> 1 *) -How does this work? Our distributed function `fun a k e -> ...` takes a leaf element `a` and a continuation `k`, which maps leaf elements and environments `e0` to new environments `ecur`. It gives back a function from `e0` to an updated version of `ecur`. +How does this work? Our distributed function `fun a k -> ...` takes a leaf element `a` and a continuation `k`, which maps leaf elements and environments `e0` to new environments `ecur`. It gives back a function from `e0` to an updated version of `ecur`. Our seed function here is the initial continuation. Instead of taking a leaf element and an env, it takes a tree of such elements and an env. In general, wherever the distributed function takes `'a`s, the seed function takes `'a tree`s. -- 2.11.0