Racket and References

Racket on SOIC Machines

  • To access Racket on the SOIC machines, you need to type the following at the terminal: module load racket.
  • If you access these frequently at all, you should add that to your .bashrc
  • See the following for more on modules.

Scheme libraries and tools


  • pmatch, a simple pattern matcher.

miniKanren resources

If you're interested in miniKanren development, check out!

311 miniKanren

  • The current 311-implementation of miniKanren can be found here.
  • The relational arithmetic suite can be found here.
  • You may on occasion find trace-define-mk.scm to be useful as well.


Emacs references and tools

The course staff use and endorse the Emacs text editor. EDIT: These may have Scheme-specific recommendations. Modify as necessary for Racket.

  • A handy Emacs reference card for Schemers.
  • Instructions for installing Emacs on Windows 7. If you do not see hyperlinks in the document, try another PDF viewer.
  • Instructions for installing Emacs on OS X.
  • 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 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 file, or otherwise have problems configuring Emacs.

Vim tools

Cameron Swords (notably not a member of the course staff) uses and endorses the Vim text editor.

  • A great dot_vim.txt for writing scheme, providing pretty colors and some nice tabbing settings, etc. Remember to rename the file from dot_vim.txt to .vimrc before using it. A few other notes:
    • I bound % to q because I don't use record/play very much but I use % all the time.
    • The color scheme darkbone is optional. If you comment that line out of the .vimrc (put a in front of it), Vim's default color scheme is fine for most purposes.
    • To properly use this 256-color scheme in CLI vim, you have to install CSApprox.
  • You probably also want my custom Scheme syntax highlighting file. It needs to be renamed to scheme.vim and installed in your vim install director's syntax folder (/usr/share/vim/vim73/syntax in Arch linux).
  • And I don't use it, but Dan swears by paren matching and you might find this plugin helpful.

Lecture notes, etc., on selected topics

Macros and Debugging aides

  • expand-only macro-expansion tool expand-only.scm
  • “smart lambda”
    • (source code)
    • expand-only.pdf (documentation/examples)
    • (example source)


resources.txt · Last modified: 2014/02/12 08:50 by jhemann