From: Jim Pryor Date: Sun, 21 Nov 2010 22:17:34 +0000 (-0500) Subject: week9 tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=395e383abcd3b71a82f68339fad8a104a7a11a87;hp=a9f00c3696342d92815872a48dbb352bea71698a week9 tweak Signed-off-by: Jim Pryor --- diff --git a/week9.mdwn b/week9.mdwn index 79ebf40b..3f0911ab 100644 --- a/week9.mdwn +++ b/week9.mdwn @@ -664,13 +664,14 @@ Programming languages tend to provide a bunch of mutation-related capabilities a -* A fourth grade of mutation involvement... +* A fourth grade of mutation involvement: (--- FIXME ---) structured references (a) if `a` and `b` are mutable variables that uncoordinatedly refer to numerically the same value then mutating `b` won't affect `a` or its value (b) if however their value has a mutable field `f`, then mutating `b.f` does affect their shared value; will see a difference in what `a.f` now evaluates to + (c) examples: Scheme mutable pairs, OCaml mutable arrays or records