Resources

• R5RS, the Scheme standard supported by most implementations.
• The Scheme Programming Language, third edition, R. Kent Dybvig, Prentice-Hall, 2003.
• R6RS, the newest Scheme standard.

For this course, we recommend using Chez Scheme Version 7.4d (which is installed on CS department machines) or Petite Chez Scheme Version 7.4d (which you can download here). Version 7.9.3 is the current prerelease of Chez Scheme/Petite Chez Scheme with complete support for R6RS Scheme. However, if you use Version 7.9.3, be aware that some of the tools we use in this course may be incompatible with R6RS.

• For Windows users, here are instructions for configuring a desktop shortcut to Petite Chez Scheme.
• SWL is integrated with Chez Scheme and includes a simple text editor. It's available on CS department machines by running swl at the command prompt. However, we recommend using a general-purpose text editor of your choice, such as Emacs or vi.

Fair warning: although it's up to you which Scheme you use, a few of the tools we use in this course may be incompatible with implementations other than Chez Scheme.

• PLT Scheme is a popular Scheme implementation that includes the DrScheme programming environment, which is great for programmers who are new to Scheme.
• Ikarus Scheme is a free optimizing compiler for R6RS Scheme created by IU alumnus Abdulaziz Ghuloum.

• pmatch.scm, a simple pattern matcher.
• pmatch documentation.

• Using ParentheC to Transform Scheme Programs to C or How to Write Interesting Recursive Programs in a Spartan Host (Program Counter)
• parenthec.ss, an implementation of the ParentheC language.
• pc2c.ss, a translator from ParentheC to C.

• test.scm, a few macros to help test your programs.
• A simple test (other examples in the test.scm file):

  (test "factorial-5" (fact 5) 120)

• We recommend putting tests in a separate file, and then loading the file at the end of your code so they'll run whenever you reload your code.

If you're interested in miniKanren development, check out the project site on Google Code!

• mk.scm, the miniKanren source
• mkdefs.scm, useful definitions for miniKanren (loads mk.scm automatically)
• mktests.scm, tests for miniKanren (loads mk.scm automatically)
• matche.scm, for pattern-matching support in miniKanren

• a12-mk.scm
• a12-mkdefs.scm
• a12-mkneverequalo.scm

The course staff use and endorse the Emacs text editor.

• A handy Emacs reference card for Schemers.
• Instructions for installing Emacs on Windows XP.
• A complete dot_emacs_full.txt for this course, for folks who want pretty colors, automatic paren matching, and other goodies. Remember to rename the file from dot_emacs_full.txt to .emacs before using it.
  • To use this .emacs file, you must download the dot_emacs_dot_d.zip file, unzip the file, and rename the resulting directory .emacs.d. You must then update the load-path in your .emacs file to point to the location of the .emacs.d directory. Contact the AIs if you cannot unzip the dot_emacs_dot_d.zip file, or otherwise have problems configuring Emacs.

• Notes on recursive functions for repeated addition/multiplication/… .
• Notes on parameter-passing variations.
• Notes on the fixed-point combinators Y and Z.
• A CPS Refresher on converting procedures to continuation-passing style.
• Notes from the Feb 16, 2010 lecture on continuation-passing style.
• Notes on versions of the product procedure written three ways: in accumulator-passing style, in continuation-passing style, and in direct style using call/cc.
• Notes on making continuations representation-independent methodically.
• Notes on registerization and trampolining.
• A Schemer's View of Monads.

• objects.scm
• objectstest.scm