index 9b6c09c..c4c3e43 100644 (file)
@@ -103,15 +103,14 @@ The [[differences between our made-up language and Scheme, OCaml, and Haskell|ro
> We posted [[answers to Week 1's homework|exercises/assignment1_answers]].

(**Week 3**) Thursday 12 February 2015
> We posted [[answers to Week 1's homework|exercises/assignment1_answers]].

(**Week 3**) Thursday 12 February 2015
-*We will continue to develop these notes over the next few days.*

> Topics:
[[Arithmetic with Church numbers|topics/week3_church_arithmetic]];

> Topics:
[[Arithmetic with Church numbers|topics/week3_church_arithmetic]];
-[[More on Lists|topics/week3 lists]] (expanded on Sunday);
+[[More on Lists|topics/week3 lists]];
[[What is computation?|topics/week3_what_is_computation]];
[[What is computation?|topics/week3_what_is_computation]];
-[[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]] (posted on Monday 23 Feb);
-[[Unit and its usefulness|topics/week3 unit]] (posted on Wednesday);
-[[Combinatory Logic|topics/week3 combinatory logic]] (revised on Monday and Tuesday);
+[[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]];
+[[Unit and its usefulness|topics/week3 unit]];
+[[Combinatory Logic|topics/week3 combinatory logic]];
[[Homework|exercises/assignment3]]

> Also, by this point you should be able to handle all of *The Little Schemer* except for Chapters 9 and 10. Chapter 9 covers what is going on under the hood with `letrec`, and that will be our topic for next week. You can also read Chapter 4 of Hankin on Combinatory Logic.
[[Homework|exercises/assignment3]]

> Also, by this point you should be able to handle all of *The Little Schemer* except for Chapters 9 and 10. Chapter 9 covers what is going on under the hood with `letrec`, and that will be our topic for next week. You can also read Chapter 4 of Hankin on Combinatory Logic.
@@ -133,15 +132,12 @@ Towards types (in progress);
> We posted [[answers to Week 3's homework|exercises/assignment3_answers]].

(**Week 5**) Thursday 26 February 2015
> We posted [[answers to Week 3's homework|exercises/assignment3_answers]].

(**Week 5**) Thursday 26 February 2015
-
-> *Note*: Jim will be updating and expanding the lecture notes by Tuesday, but doesn't want to delay any longer letting you have access to the drafts we (in part) presented from in seminar. But do come back and re-read the pages when the expanded versions are posted.
-
> Topics:
[[Simply-typed lambda calculus|topics/week5 simply typed]];
[[System F|topics/week5 system F]];
> Topics:
[[Simply-typed lambda calculus|topics/week5 simply typed]];
[[System F|topics/week5 system F]];
-Types in OCaml and Haskell;
-Practical advice for working with OCaml and/or Haskell (all will be posted soon);
-[[Homework|exercises/assignment5]]
+Types in OCaml and Haskell (will be posted someday);
+Practical advice for working with OCaml and/or Haskell (will be posted someday);
+[[Homework|exercises/assignment5-6]]

> *There is some assigned reading for our next meeting.* This comes in two batches. The first batch consists of [[this footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives*. Also recommended, but not mandatory, is [[this selection|readings/king-on-schiffer.pdf]] from Chapter 4 of Jeff King's 2007 book *The Nature and Structure of Content*. The second batch consists of [[this paper|readings/rieppel-beingsthg.pdf]] from Michael Rieppel, a recent Berkeley Philosophy PhD, on Frege's "concept horse" problem. Also recommended, but not mandatory, is [[this selection|readings/king-on-logicism.pdf]] from Chapter 5 of King's book. (It reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)".)

> *There is some assigned reading for our next meeting.* This comes in two batches. The first batch consists of [[this footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives*. Also recommended, but not mandatory, is [[this selection|readings/king-on-schiffer.pdf]] from Chapter 4 of Jeff King's 2007 book *The Nature and Structure of Content*. The second batch consists of [[this paper|readings/rieppel-beingsthg.pdf]] from Michael Rieppel, a recent Berkeley Philosophy PhD, on Frege's "concept horse" problem. Also recommended, but not mandatory, is [[this selection|readings/king-on-logicism.pdf]] from Chapter 5 of King's book. (It reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)".)

@@ -159,14 +155,37 @@ Practical advice for working with OCaml and/or Haskell (all will be posted soon)

(**Week 7**) Thursday March 12

(**Week 7**) Thursday March 12

-> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Interpreter for Lambda terms; Starting with Monads
+> *Many of these were updated or first posted on Mon 23 March.*
+
+> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; [[Introducing Monads|topics/week7_introducing_monads]]; [[Homework|exercises/assignment7]]; [[Environments and Closures|topics/week7_environments_and_closures]]; [[Untyped lambda evaluator|topics/week7_untyped_evaluator]]
+
+> We posted answers to [[Week 4's homework|exercises/assignment4_answers]] and [[Week 5-6's homework|exercises/assignment5-6_answers]].

+(**Week 8**) Thursday March 26
+
+(**Week 9**) Thursday April 2
+
+> Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. Continued to fix some bugs and improve the monad transformers. Latest version posted Monday evening, 13 April: [[v1.6|/code/Juli8-v1.6.tgz]]. This version is needed to run [[the gsv2.ml code|/code/gsv2.ml]].
+
+<!--
+The major change is to make the Monad libraries easier to use. Now you can just use `Monad.Reader(struct type env = ... end)`; you don't need to furthermore ask for the `M` submodule of that generated module. Relatedly, the `List` and `Monad.List` modules are now different; the former has lots of list-related functions and the latter only the monadic interface. Similarly for `Option` and `Monad.Option`.
+-->
+
+> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; [[Programming with mutable state|/topics/week9_mutable_state]]; [[A State Monad Tutorial|/topics/week9_state_monad_tutorial]]; [[Using multiple monads together|/topics/week9_monad_transformers]]; [[Homework for weeks 8-9|/exercises/assignment8-9]]
+
+> Reading for Week 10: Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996)
+
<!--
<!--
-We've added a [[Monad Library]] for OCaml.
We've posted a [[State Monad Tutorial]].
-->

We've posted a [[State Monad Tutorial]].
-->

+(**Week 10**) Thursday April 9
+
+> Topics: We will be discussing the reading posted above. Here are [[notes and links to code|/topics/week10_gsv]].
+
+

## Course Overview ##

## Course Overview ##

@@ -179,7 +198,7 @@ Rather, it's about a variety of conceptual/logical ideas that have been
developed in computer science and that linguists and philosophers ought to
know, or may already be unknowingly trying to reinvent.

developed in computer science and that linguists and philosophers ought to
know, or may already be unknowingly trying to reinvent.

-Philosphers and linguists tend to reuse the same familiar tools in
+Philosophers and linguists tend to reuse the same familiar tools in
ever more (sometime spectacularly) creative ways.  But when your only
hammer is classical logic, every problem looks like modus ponens.  In
contrast, computer scientists have invested considerable ingenuity in
ever more (sometime spectacularly) creative ways.  But when your only
hammer is classical logic, every problem looks like modus ponens.  In
contrast, computer scientists have invested considerable ingenuity in