X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=4524ef30db20dbf01500203f528fa7ad74897e70;hp=9b53396aeaeaaea3efa1a9547a75ed964c73c31f;hb=f7ccd3396509d8fee56332f67ce0a98ccd568337;hpb=e898c001dc4a1e3de663a605fe23247ebc0f3985 diff --git a/index.mdwn b/index.mdwn index 9b53396a..4524ef30 100644 --- a/index.mdwn +++ b/index.mdwn @@ -6,9 +6,11 @@ This course is co-taught by [Chris Barker](http://homepages.nyu.edu/~cb125/) and 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 to discuss homeworks will be held every Wednesday from 5-6, location yet to be fixed. +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 Content (lecture notes and more)|content]] ## +## [[Index of Main Content|content]] (lecture notes and more) ## + +## [[Offsite Readings|readings]] ## ## Announcements ## @@ -24,7 +26,7 @@ the text and links there haven't been updated. And/or you can get started on ins * 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. --> -* The student session has been scheduled for Wednesdays from 5-6, location yet to be fixed. +* The student session has been scheduled for Wednesdays from 5-6, in Linguistics room 104 (back of the first floor). Those of you interested in additional Q&A but who can't make that time, let us know. @@ -73,14 +75,31 @@ what you think you need in order to solve the problem. > 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 (upcoming) homework questions works correctly. + +(**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|topics/week2 encodings]] (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. + + @@ -130,6 +149,9 @@ course is to enable you to make these tools your own; to have enough 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) (or Hal Abelson, or Michael Fellows; the quote's origins are murky) + + [[More about the topics and larger themes of the course|overview]] @@ -214,8 +236,8 @@ Other R7RS-friendly: [Gauche](http://practical-scheme.net/gauche), [Chibi](https [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).) - +[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", @@ -226,8 +248,8 @@ specifically in OCaml. (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).) - +[OCaml](http://en.wikipedia.org/wiki/OCaml).) + (Help on [[Learning OCaml]]) * **Haskell** is also used a @@ -244,9 +266,12 @@ for "Glasgow Haskell Compiler". (Wikipedia on [Haskell](http://en.wikipedia.org/wiki/Haskell_%28programming_language%29) and -[GHC](https://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler).) - +[GHC](https://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler).) + (Help on [[Learning Haskell]]) +