From 23a741924375f31f08131eca0557d7006b5c618a Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 21 Nov 2010 14:50:31 -0500 Subject: [PATCH] week9: add offsite links Signed-off-by: Jim Pryor --- week9.mdwn | 27 ++++++++++++++++++++++++++- 1 file changed, 26 insertions(+), 1 deletion(-) diff --git a/week9.mdwn b/week9.mdwn index f154d2ae..00900ea2 100644 --- a/week9.mdwn +++ b/week9.mdwn @@ -523,6 +523,9 @@ To get the whole process started, the complex computation so defined will need t Notice: h, p have same value (1), but f (h, p) and f (h, h) differ +Fine and Pryor on "coordinated contents" (see, e.g., [Hyper-Evaluativity](http://www.jimpryor.net/research/papers/Hyper-Evaluativity.txt)) + + ##Five grades of mutation involvement## -- FIXME -- @@ -586,7 +589,29 @@ To get the whole process started, the complex computation so defined will need t We use the `None`/`Some factorial` option type here just as a way to ensure that the contents of `fact_cell` are of the same type both at the start and the end of the block. +##Offsite Reading## + +* [[!wikipedia Declarative programming]] +* [[!wikipedia Functional programming]] +* [[!wikipedia Purely functional]] +* [[!wikipedia Side effect (computer science) desc="Side effects"]] +* [[!wikipedia Referential transparency (computer science)]] +* [[!wikipedia Imperative programming]] +* [[!wikipedia Reference (computer science) desc="References"]] +* [[!wikipedia Pointer (computing) desc="Pointers"]] +* [Pointers in OCaml](http://caml.inria.fr/resources/doc/guides/pointers.html) + -- 2.11.0