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 machines with any frequency, you should add that to your .bashrc
  • See the following for more on modules.

Developing on Windows

  • Here is a document that helps show you how to setup a development environment on Windows 7.

Course specific libraries and tools

We have provided a suite of test cases your interpreter must pass. To run these tests, you must download the archive do the following:

1. Download and unzip the C311 course archive to a directory named C311 in a permanent location, (e.g. ~/C311).
2. In that parent directory, (e.g. ~) run ''raco link'' to that directory (e.g. ''raco link ~/C311''). 
3. Upon doing so, you should be able to use our tools within Racket.

You may also find useful the following pmatch documentation.

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

  • 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 (C311 course staff emeritus) 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


resources.txt · Last modified: 2014/09/04 16:43 by jhemann