X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=92116551b5d7045279f03412366a4d7f85b6cc74;hp=5299e29780b16c4b94f0ee16ef4ce45d6d2d90e1;hb=113625cac7cb6fe962092be8fb92770dc90756f3;hpb=8f24b96ab01127d54b9efefff669c89b2d03a135 diff --git a/week1.mdwn b/week1.mdwn index 5299e297..92116551 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -14,6 +14,7 @@ See also: * [Chris Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda) * [Lambda Animator](http://thyer.name/lambda-animator/) +* [Penn lambda calculator](http://www.ling.upenn.edu/lambda/) Pedagogical software developed by Lucas Champollion, Josh Tauberer and Maribel Romero. Linguistically oriented. * MORE The lambda calculus we'll be focusing on for the first part of the course has no types. (Some prefer to say it instead has a single type---but if you say that, you have to say that functions from this type to this type also belong to this type. Which is weird.) @@ -312,7 +313,7 @@ Finally, you'll see the term **dynamic** used in a variety of ways in the litera * dynamic versus static typing -* dynamic versus lexical scoping +* dynamic versus lexical [[!wikipedia Scope (programming) desc="scoping"]] * dynamic versus static control operators @@ -327,7 +328,7 @@ To read further about the relation between declarative or functional programming * [[!wikipedia Purely functional]] * [[!wikipedia Referential transparency (computer science)]] * [[!wikipedia Imperative programming]] - +* [[!wikipedia Side effect (computer science) desc="Side effects"]] Map