The seminar meets in spring 2015 on Thursdays from 4 until a bit before 7 (with a short break in the middle), in
the Linguistics building at 10 Washington Place, in room 103 (front of the first floor).
-<!--
-One student session will be held every Wednesday from XX-YY at WHERE.
--->
+One student session to discuss homeworks will be held every Wednesday from 5-6, in Linguistics room 104 (back of the first floor).
+
+## [[Index of Main Content|content]] (lecture notes and more) ##
-## [[Index of Content (lecture notes and more)|content]] ##
+## [[Offsite Readings|readings]] ##
## Announcements ##
* As we mentioned in class, if you're following the course and would like to be emailed occasionally, send an email to <mailto:jim.pryor@nyu.edu>, saying "lambda" in the subject line. Most often, we will just post announcements to this website, rather than emailing you. But occasionally an email might be more appropriate.
+<!--
* As we mentioned in class, we're also going to schedule a session to discuss the weekly homeworks. If you'd like to participate in this, please complete [this Doodle poll](http://doodle.com/7xrf4w8xq4i9e5za). It asks when you are available on Tuesdays and Wednesdays.
+-->
-<!--
-One student session will be held every Wednesday from XX-YY at WHERE.
+* The student session has been scheduled for Wednesdays from 5-6, in Linguistics room 104 (back of the first floor).
-For those who'd like to attend the section but can't make the
-Wednesday time: If you're one of the students who
-wants to meet for Q&A at some other time in the week, let us know.
+ Those of you interested in additional Q&A but who can't make that time, let us know.
-You should see the student sessions as opportunities to clear up lingering
+ You should see these student sessions as opportunities to clear up lingering
issues from material we've discussed, and help get a better footing for what
-we'll be doing the next week. It would be smart to make a serious start on that
-week's homework, for instance, before the session.
--->
+we'll be doing the next week. It's expected you'll have made at least a serious start on that
+week's homework (due the following day) before the session.
-* Here is information about [[How to get the programming languages running on your computer|installing]]. If those instructions seem overwhelming, note that it should be possible to do a lot of this course using only demonstration versions of these languages that run in your web browser.
+* Here is information about [[How to get the programming languages running on your computer|installing]]. If those instructions seem overwhelming, note that it should be possible to do a lot of this course using only demonstration versions of these languages [[that run in your web browser|browser]].
* Henceforth, unless we say otherwise, every homework will be "due" by
Wednesday morning after the Thursday seminar in which we refer to it.
> Topics:
[[Order in programming languages and natural language|topics/week1 order]];
-[[Introduction to functional programming|topics/week1]];
+[[Introduction to functional programming|topics/week1 kapulet intro]];
[[Homework|exercises/assignment1]];
-[[Advanced notes|topics/week1 advanced notes]]
+[[Advanced notes|topics/week1 kapulet advanced]]
+(**Intermezzo**)
+> Help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]];
+The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta1]];
+[[What do words like "interpreter" and "compiler" mean?|ecosystem]] (in progress)
+(**[[Lambda Evaluator|code/lambda evaluator]]**) Usable in your browser. It can help you check whether your answer to some of the homework questions works correctly.
<!--
-[[Lambda Evaluator]]: Usable in your browser. It can help you check whether your answer to some of the homework questions works correctly. There is also now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+ There is also now a [library](/lambda library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+-->
+(**Week 2**) Thursday 5 February 2015
+> Topics:
+[[Intro to the Lambda Calculus|topics/week2 lambda intro]];
+[[Advanced notes|topics/week2 lambda advanced]];
+Encoding Booleans, Tuples, Lists, and Numbers (in progress);
+Homework (in progress)
+
+> Also, if you're reading the Hankin book, try reading Chapters 1-3. You will most likely need to come back again and read it multiple times; but this would be a good time to make the first attempt.
+
+
+<!--
We've added a [[Monad Library]] for OCaml.
We've posted a [[State Monad Tutorial]].
-->
understanding of them to recognize them in use, use them yourself at least
in simple ways, and to be able to read more about them when appropriate.
+"Computer Science is no more about computers than astronomy is about telescopes." -- [E. W. Dijkstra](https://en.wikipedia.org/wiki/Edsger_W._Dijkstra) <small>(or Hal Abelson, or Michael Fellows; the quote's <a href="https://en.wikiquote.org/wiki/Computer_science">origins are murky</a>)</small>
+
+
[[More about the topics and larger themes of the course|overview]]
[Lisp](http://en.wikipedia.org/wiki/Lisp_%28programming_language%29),
[Scheme](http://en.wikipedia.org/wiki/Scheme_%28programming_language%29),
[Racket](http://en.wikipedia.org/wiki/Racket_%28programming_language%29), and
-[Chicken](http://en.wikipedia.org/wiki/CHICKEN_%28Scheme_implementation%29).)
- <!-- Help on Learning Scheme -->
+[Chicken](http://en.wikipedia.org/wiki/CHICKEN_%28Scheme_implementation%29).)
+ (Help on [[Learning Scheme]])
* **Caml** is one of two major dialects of *ML*, which is another large
family of programming languages. Caml has only one active "implementation",
(Wikipedia on
[ML](http://en.wikipedia.org/wiki/ML_%28programming_language%29),
[Caml](http://en.wikipedia.org/wiki/Caml), and
-[OCaml](http://en.wikipedia.org/wiki/OCaml).)
- <!-- Help on Learning OCaml -->
+[OCaml](http://en.wikipedia.org/wiki/OCaml).)
+ (Help on [[Learning OCaml]])
* **Haskell** is also used a
(Wikipedia on
[Haskell](http://en.wikipedia.org/wiki/Haskell_%28programming_language%29) and
-[GHC](https://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler).)
- <!-- Help on Learning Haskell -->
+[GHC](https://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler).)
+ (Help on [[Learning Haskell]])
+<!--
+[Helium](https://www.haskell.org/pipermail/haskell/2003-January/011071.html) is a simplified Haskell for teaching (no typeclasses)
+-->