|
| More or Less Directly Class Related |
- Piazza
- Cardelli's paper on Type Systems [pdf]
- Mattox's Introduction to Continuations [pdf]
|
|
| Software |
- Objective CaML
-
- Mac OS X Setup Instructions
-
- Command Lines Tools like make may be obtained as a part of XCode:
- Check to see if you can download XCode. (You can do this by attempting to download XCode via the App Store application.)
- If you do not have the App Store on your computer, or the App Store tells you to upgrade Mac OS X, you will need to do so prior to continuing. This upgrade should be free for recent versions of Mac OS X.
- Assuming you have the prerequisites for obtaining XCode and haven't downloaded it yet, donwload XCode.
- Upon successful installation of XCode, open XCode and proceed through the Terms of Service/License Agreement.
- Once complete, you can close XCode.
- Open up Terminal (or your favorite Terminal app) and run xcode-select --install. This installs the Command Line Tools.
- Once complete, follow the instructions on OCaml's official documentation for installation of OCaml.
(Homebrew is perhaps the easiest way to go.)
- Information on OCaml 4.01.3:
-
- OCaml 4.01.3 should only be used after MP1.
- Installation options can be found on OCaml's official website, located at https://ocaml.org/docs/install.html.
- If you do not wish to install OCaml 4.01.3 on your computer, you can find it on EWS systems as well.
- You can check the current version of OCaml you are running by opening a Terminal and running ocaml -version.
- If you are running a version of OCaml that is not OCaml 4.01.3 on EWS, run module load ocaml/4.01.3. Upon completion, run ocaml -version to verify you are now running the proper version of OCaml.
- If you want to use an IDE:
-
- Postscript/PDF Viewers
-
|
|