ass8 tweaks
[lambda.git] / zipper.mdwn
index edefb9d..9c01a56 100644 (file)
@@ -422,6 +422,17 @@ With cooperative threads, one typically yields control to the thread, and then b
        (paused)                        <-- return it           (paused)
        ... and so on ...
 
+If you want to read more about these kinds of threads, here are some links:
+
+<!-- * [[!wikipedia Computer_multitasking]]
+*      [[!wikipedia Thread_(computer_science)]] -->
+*      [[!wikipedia Coroutine]]
+*      [[!wikipedia Iterator]]
+*      [[!wikipedia Generator_(computer_science)]]
+*      [[!wikipedia Fiber_(computer_science)]]
+<!-- * [[!wikipedia Green_threads]]
+*      [[!wikipedia Protothreads]] -->
+
 The way we built cooperative threads here crucially relied on two heavyweight tools. First, it relied on our having a data structure (the tree zipper) capable of being a static snapshot of where we left off in the tree whose fringe we're enumerating. Second, it relied on our using mutable reference cells so that we could update what the current snapshot (that is, tree zipper) was, so that the next invocation of the `next_leaf` function could start up again where the previous invocation left off.
 
 In coming weeks, we'll learn about a different way to create threads, that relies on **continuations** rather than on those two tools. All of these tools are inter-related. As Oleg says, "Zipper can be viewed as a delimited continuation reified as a data structure." These different tools are also inter-related with monads. Many of these tools can be used to define the others. We'll explore some of the connections between them in the remaining weeks, but we encourage you to explore more.