week9 tweak
authorJim Pryor <profjim@jimpryor.net>
Mon, 22 Nov 2010 01:41:05 +0000 (20:41 -0500)
committerJim Pryor <profjim@jimpryor.net>
Mon, 22 Nov 2010 01:41:05 +0000 (20:41 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week9.mdwn

index a7b3278..913e4bf 100644 (file)
@@ -669,7 +669,7 @@ Programming languages tend to provide a bunch of mutation-related capabilities a
                in let (adder', setter') = factory 1
                in ...
 
-       Of course, in most languages you wouldn't be able to evaluate a comparison like `getter = getter'`, because in general the question whether two computations always return the same values for the same argument is not decidable. So typically languages don't even try to answer that question. However, it would still be true that `getter` and `getter'` (and `adder` and `adder'`) were extensionally equivalent.
+       Of course, in most languages you wouldn't be able to evaluate a comparison like `getter = getter'`, because in general the question whether two functions always return the same values for the same arguments is not decidable. So typically languages don't even try to answer that question. However, it would still be true that `getter` and `getter'` (and `adder` and `adder'`) were extensionally equivalent.
 
        However, they're not numerically identical, because by calling `setter 2` (but not calling `setter' 2`) we can mutate the function value `getter` (and `adder`) so that it's *no longer* qualitatively indiscernible from `getter'` (or `adder'`).