projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
76d9f4e
)
week9 tweak
author
Jim Pryor
<profjim@jimpryor.net>
Sun, 21 Nov 2010 20:48:20 +0000
(15:48 -0500)
committer
Jim Pryor
<profjim@jimpryor.net>
Sun, 21 Nov 2010 20:48:20 +0000
(15:48 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week9.mdwn
patch
|
blob
|
history
diff --git
a/week9.mdwn
b/week9.mdwn
index
7028e89
..
568fc81
100644
(file)
--- a/
week9.mdwn
+++ b/
week9.mdwn
@@
-304,6
+304,15
@@
For expressions we already know how to interpret, `s'` will usually just be `s`.
eval expr2 ((c, value) :: g) s'
...
+Similarly:
+
+ ...
+ | Addition (expr1, expr2) ->
+ let (value1, s') = eval expr1 g s
+ in let (value2, s'') = eval expr2 g s'
+ in (value1 + value2, s'')
+ ...
+
Let's consider how to interpet our new syntactic forms `newref`, `deref`, and `setref`: