X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=family_tree_of_functional_programming_languages.mdwn;h=4c488f4fda99c8912af523945fb1f61fd0ce0025;hb=eb2011d14255c5ab1df252e2c6c28f14c410b8f3;hp=90db24ea896e14aa3a44abf74c5138b99e1a7f62;hpb=969718f490f0965a1c434904f452e4d4f918ad21;p=lambda.git

diff --git a/family_tree_of_functional_programming_languages.mdwn b/family_tree_of_functional_programming_languages.mdwn
index 90db24ea..4c488f4f 100644
--- a/family_tree_of_functional_programming_languages.mdwn
+++ b/family_tree_of_functional_programming_languages.mdwn
@@ -12,7 +12,7 @@ typed and those that are statically typed.
 
 The **dynamically typed** languages give types more of a background role in the
 program. They include the Lisp family (which in turn includes all the variants
-of [[!wikipedia Scheme]], and also [[!wikipedia Common Lisp]], and [[!wikipedia
+of [[!wikipedia Scheme (programming language) desc="Scheme"]], and also [[!wikipedia Common Lisp]], and [[!wikipedia
 Clojure]]). They also include [[!wikipedia Erlang]] and [[!wikipedia Joy]] and
 [[!wikipedia Pure]], and others.
 
@@ -126,3 +126,9 @@ imperatival code.)
 We'll talk much more about monads, lazy vs strict evaluation, and functional vs
 imperatival code as we proceed.
 
+We won't much discuss static vs dynamic typing; this has to do with lower-level
+implementation details than we'll be concerned with. However, you'll encounter
+the difference in practice as you work with Scheme and OCaml, respectively; and
+you'll see it referred to as you read around. So it's good for you to
+have placed it in your mental map.
+