Tutorial 1: Standard ML and Functional Programming

Getting Emacs

• For Windows
• For Mac OS X

Getting Standard ML of New Jersey

(setq load-path (cons "/Users/rjsimmon/Projects/Rand/sml-mode" load-path))
(autoload 'sml-mode "sml-mode" "Major mode for editing SML." t)
     (defun my-sml-mode-hook () "Local defaults for SML mode"
       (setq sml-indent-level 2)        ; conserve on horizontal space
       (setq sml-indent-level 2)        ; conserve on horizontal space
       (setq words-include-escape t)    ; \ loses word break status
       (setq indent-tabs-mode nil))     ; never ever indent with tabs
     (add-hook 'sml-mode-hook 'my-sml-mode-hook)

Starter Code

• Designing Stack, an implementation of WORKLIST.
• Instantiating the TestWorklist functor with Stack.
• Writing print_all and insert_all
• Designing Queue, another implementation of WORKLIST.
• Experimenting with lambda.sml.