CSE-321 Programming Languages - Software
gla@postech Sungwoo Park
Resources for OCaml
- Emacs is recommended for editing files. There are quite a few good reasons that you want to
switch to Emacs as your editor of choice:
- You can edit and compile within the same Emacs window (super!).
- Emacs recognizes your programming language syntax
(by installing a configuration file) and automatically indents code for you.
- Syntax highlightening is supported.
- Once you get used to Emacs, you can enjoy a similar development environment for any other language;
all you need to do is to install another configuration file.
- Once you become an expert in Emacs, you seldom need to use terminals.
- Most professional computer scientists use Emacs as their editor!
- Emacs should already be installed on all Unix environments (including Linux).
Emacs is also installed by default on the Cygwin environment.
So if you are working on a Unix-like environment, you do not need to install it yourself.
For Windows users, the easies way to install Emacs is by installing Cygwin ;-)
Or goole "Emacs for windows" and you will find plenty of sources on installing and using Emacs on the Windows platform.
- Visit Wikipedia for more information on Emacs.
- Emacs tutorial You can also read this tutorial on the Emacs info system
(which you can enter with C-h i).
- You are required to typeset your answers to written assignments, and
we strongly recommend Latex for typesetting your answers.
The Latex commands for math formulae were adoptedy by 아래아한글 (HWP),
so they should not be completely strange to you.
For Windows, you can use MiKTex whose basic system (~32MB)
contains all necessary packages and software. (The complete system takes about 380MB of disk space.)
Install it and change the PATH variable to include the directory containing executable files
(e.g., C:\texmf\miktex\bin; under a typical installation).
To produce a PS or PDF file, follow these steps:
- Edit a tex file using your favorite editor (e.g., a.tex).
- Compile it using the program latex (e.g., latex a.tex).
- The compilation produces a dvi file (e.g., a.dvi).
You can view the result using the program yap.
- Convert the dvi file to a PS file using the program dvips ((e.g., dvips a.dvi).
- Alternatively you can produce a PDF file using the program pdflatex
((e.g., pdflatex a.tex).
- To view PS files, you want to install ghostscript and ghostview.
- To view PDF files, you want to install Acrobat Reader.
- On Linux, the Latex software is included in the default installation.
Be sure to set the environment variable path properly.
- You can use xdvi to view your dvi files. (There is no yap on Linux and Cygwin.)
- Use the ghostview program gv to view PS files.
- You can use Acrobat Reader or xpdf to view PDF files.
There are hundreds of webpages about Latex on the internet:
The best way to learn Latex is actually by looking at a few well-written Tex source files and their results.
gla@postech Sungwoo Park