From: Jim Pryor Date: Tue, 24 Aug 2010 22:07:43 +0000 (-0400) Subject: family_tree comment re static/dynamic typing X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=399f4aa37f2dbcd96af05a841056c2da33e38ca1;ds=inline family_tree comment re static/dynamic typing Signed-off-by: Jim Pryor --- diff --git a/family_tree_of_functional_programming_languages.mdwn b/family_tree_of_functional_programming_languages.mdwn index 90db24ea..f13929da 100644 --- a/family_tree_of_functional_programming_languages.mdwn +++ b/family_tree_of_functional_programming_languages.mdwn @@ -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. +