X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=2994e3f938d41947b79b55d84fafaaf9f15d2704;hp=c581a3ee038c85a92585cdcb7ccc28f3953a403f;hb=47a1e74d28317b889a39c4ab9233445fb05f402f;hpb=fa3c0b4b86fea54a5a66f046d99e303218d5beba diff --git a/index.mdwn b/index.mdwn index c581a3ee..2994e3f9 100644 --- a/index.mdwn +++ b/index.mdwn @@ -10,8 +10,23 @@ the Linguistics building at 10 Washington Place, in room 103 (front of the first One student session will be held every Wednesday from XX-YY at WHERE. --> -## [[Jump to content (lecture notes and more)|topics_and_themes.mdwn]] ## +## [[Jump to content (lecture notes and more)|content.mdwn]] ## + ## Announcements ## @@ -179,6 +194,13 @@ strictly exclusive. The labels are better thought of as concerning different of the extent to which they emphasize, and are designed around those idioms. Languages like Python and JavaScript are sometimes themselves described as "more functional" than other languages, like C. + In any case, here is some more context for the three languages we will be focusing on. @@ -192,6 +214,8 @@ the operating system differently. One major implementation is called Racket, and that is what we recommend you use. If you're already using or comfortable with another Scheme implementation, though, there's no compelling reason to switch. + + Racket stands to Scheme in something like the relation Firefox stands to HTML. (Wikipedia on [Lisp](http://en.wikipedia.org/wiki/Lisp_%28programming_language%29), @@ -224,6 +248,14 @@ other. [[How to get the programming languages running on your computer]] + + ## Recommended Books ## @@ -268,6 +300,8 @@ but in the long run it's helpful because it makes the arbitrariness of those cho * Another good book, covering some of the same ground as the Hankin, and the Hindley & Seldin, but delving deeper into typed lambda calculi, is *Types and Programming Languages*, by Benjamin Pierce, currently $77 hardback / $68 kindle on [Amazon](http://www.amazon.com/dp/0262162091). This book has many examples in OCaml. + + ----