| |
|
|
|
|
|
|
| Syllabus | Calendar | Homework | PSP | Textbook | Moodle | Daily Survey |
My office hours are M 1:00-4:00 and TTh 12:00-3:00.
I also taught this course, in various guises, in Spring 1995, Spring 1996, Spring 1997, Spring 1998, and Spring 2008.
Announcement 27 Jan:
If you're using the plai library but prefer
check-expect and check-within over
test, take a look at this
file to see how to do it.
I presume you all know how to get DrScheme.
To use the PLAI language, switch languages to "Module",
then type (require (planet plai/plai)) in the
Definitions pane (just after the #lang scheme
which should be there automatically) and click the "Run" button.
It will spend a few minutes downloading and installing things
the first time.
After this, you have two choices for writing programs:
(require (planet plai/plai)) as above, and write
your program after that. Now that it's installed, it'll take
a fraction of a second rather than several minutes.type-case and
define-type available to you, with test
rather than check-expect for writing test cases.
If you're running Windows, I recommend downloading Helium, which matches the descriptions in the textbook. (You can also download the source code for Helium, but it's written in Haskell so you'll need to install another Haskell compiler first, and the Helium people say it's a pain to compile under Windows.)
Another option for Windows is to download
the
Haskell Platform. This includes a Haskell compiler as well as
ghci, an interactive platform similar to Helium but
more closely matching the description in
this tutorial.
I haven't been able to get Helium to compile on a Mac, but the Haskell Platform works fine