Resources

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

  • pmatch, a simple pattern matcher.

miniKanren resources

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

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 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.

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” smart-lambda.ss
    • expand-only.ss (source code)
    • expand-only.pdf (documentation/examples)
    • mkexpand.ss (example source)

 

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