X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=66f40b6105fb1655f9cca700e166462657c14884;hp=c18172b34c1a869d5d3edd4ce2262bff88c1743a;hb=062cb1a9e19ce79b4121b6f7a863da40272eb4c3;hpb=9cb038c46ca337f654266aa75769bb304ed3cafb diff --git a/index.mdwn b/index.mdwn index c18172b3..66f40b61 100644 --- a/index.mdwn +++ b/index.mdwn @@ -7,17 +7,72 @@ This course will be co-taught by [Chris Barker](http://homepages.nyu.edu/~cb125/ ## Announcements ## -The seminar meets on Mondays from 4-6, in +* The seminar meets on Mondays from 4-6, in the Linguistics building at 10 Washington Place, in room 104 (back of the first floor). -One student session will be held every Wednesday from 3-4. The other will be arranged to fit the schedule of those who'd like to attend but can't make the Wednesday time. (We first proposed Tuesdays from 11-12, but this time turns out not to be so helpful.) If you're one of the students who wants to meet for Q&A at some other time in the week, let us know. - -You should see the 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. - -There is now a [[lambda evaluator]] you can use in your browser (no need to install any software). -It can help you check whether your answer to some of the homework questions works correctly. - -There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced. + + +* One student session will be held every Wednesday from 3-4. The other will +be arranged to fit the schedule of those who'd like to attend but can't +make the Wednesday time. (We first proposed Tuesdays from 11-12, but this +time turns out not to be so helpful.) If you're one of the students who +wants to meet for Q&A at some other time in the week, let us know. + + You should see the 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. + +* There is now a [[lambda evaluator]] you can use in your browser (no need to +install any software). 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. + + An evaluator with the definitions used for homework 3 +preloaded is available at [[assignment 3 evaluator]]. + +* Henceforth, unless we say otherwise, every homework will be "due" by +Sunday morning after the Monday seminar in which we refer to it. +(Usually we'll post the assignment shortly before the seminar, but don't +rely on this.) However, for every assignment there will be a "grace +period" of one further week for you to continue working on it if you +have trouble and aren't able to complete the assignment to your +satisfaction by the due date. You shouldn't hesitate to talk to us---or +each other!---about the assignments when you do have trouble. We don't +mind so much if you come across answers to the assignment when browsing +the web, or the Little Schemer book, or anywhere. So long as you can +reason yourself through the solutions and experience for yourself the +insights they embody. + + We reserve the privilege to ruthlessly require you to +explain your solutions in conversations at any point, in section or in +class. + + You should always *aim* to complete the assignments by the "due" date, +as this will fit best with the progress of the seminar. Let's take +assignment 3 to be "due" on Sunday Oct 3 (the date of this +announcement), but as we announced last week in seminar, you can take up +until this coming Sunday to complete it. If you need to. Try to complete +it, and get assistance completing it if you need it, sooner. + +* We'll shortly be posting another assignment, assignment 4, which will be +"due" on the Sunday before our next seminar. That is, on Sunday Oct 17. +(There's no seminar on Monday Oct 11.) + + The assignments will tend to be quite challenging. Again, you should by +all means talk amongst yourselves, and to us, about strategies and +questions that come up when working through them. + + We will not always be able to predict accurately which problems are +easy and which are hard. If we misjudge, and choose a problem that is +too hard for you to complete to your own satisfaction, it is still +very much worthwhile (and very much appreciated) if you would explain +what is difficult, what you tried, why what you tried didn't work, and +what you think you need in order to solve the problem. + + @@ -34,23 +87,31 @@ We've sent around an email to those who left their email addresses on the roster (13 Sept) Lecture notes for [[Week1]]; [[Assignment1]]. -Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages +> Topics: [[Applications]], including [[Damn]]; Basics of Lambda Calculus; Comparing Different Languages (20 Sept) Lecture notes for [[Week2]]; [[Assignment2]]. -Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers +> Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; [[Lists and Numbers]] -(27 Sept) Lecture notes for [[Week3]]; [[Assignment3]]. +(27 Sept) Lecture notes for [[Week3]]; [[Assignment3]]; +an evaluator with the definitions used for homework 3 +preloaded is available at [[assignment 3 evaluator]]. -Topics: Recursion with Fixed Point Combinators +> Topics: [[Evaluation Order]]; Recursion with Fixed Point Combinators -(4 Oct) Lecture notes for Week 4 +(4 Oct) Lecture notes for [[Week4]]; [[Assignment4]]. - +> Topics: More on Fixed Points; Sets; Aborting List Traversals; [[Implementing Trees]] + + +(18 Oct) Lecture notes for Week 5 + +> Topics: Types, Polymorphism [[Upcoming topics]] +[Advanced Lambda Calculus Topics](/advanced_lambda) + ##[[Offsite Reading]]## @@ -233,5 +294,4 @@ All wikis are supposed to have a [[SandBox]], so this one does too. This wiki is powered by [[ikiwiki]]. -[[Test]]