update installation for OCaml
[lambda.git] / how_to_get_the_programming_languages_running_on_your_computer.mdwn
index 04c762e..e83e7ca 100644 (file)
@@ -1,6 +1,9 @@
 ## Identifying your system ##
 
 We'll assume you're using either Mac OS X, or Windows, or Linux.
+If you're running **iOS**, you'll have a much harder time (perhaps impossible,
+perhaps not) getting this software to run on your machine, and we can't give
+you any guidance.
 
 If you're using **Mac OS X**, take note of what version of the Mac OS you're
 running. (Under the Apple Menu, select "About this Mac".)
@@ -12,87 +15,79 @@ running. (Under the Apple Menu, select "About this Mac".)
 *    Mavericks (10.9)
 *    Yosemite (10.10)
 
-If you're running **iOS**, you probably can't use this software on that machine. (A bit more below.)
+Furthermore, Mac users will be in one of two subgroups:
 
-Furthermore, you'll be in one of two subgroups:
+*   You'll have Apple's Xcode and the independent MacPorts system
+    installed. (Probably you don't. If you don't know what I'm talking about, you don't have these.)
 
-*      You'll have Apple's Xcode and the independent MacPorts system
-       installed. (Probably you don't. If you don't know what I'm talking about, you don't have these.)
+    If you don't have these, but want to try this route, you can read about
+    the MacPorts system at <http://www.macports.org/>.
+    This automates the building of Unix-type software on your Mac; it
+    makes it a lot easier to check for dependencies, use more-recent
+    versions of things, and so on. (Though as it happens, MacPorts only has an older version of
+    our chosen implementation of Scheme.)
 
-       If you don't have these, but want to try this route, you can read about
-       the MacPorts system at <http://www.macports.org/>.
-       This automates the building of Unix-type software on your Mac; it
-       makes it a lot easier to check for dependencies, use more-recent
-       versions of things, and so on. (Though as it happens, MacPorts only has an older version of
-       our chosen implementation of Scheme.)
+    There are also other package management systems available for the Mac, notably Homebrew and Fink. I only know a little bit about them.
 
-       There are also other package management systems available for the Mac, notably Homebrew and Fink. I only know a little bit about them.
+    There are instructions about how to get Xcode on the [Installing MacPorts](https://www.macports.org/install.php) page.
+    Some versions of [Xcode](http://developer.apple.com/xcode.html) are available for free on the Mac App Store.
+    Other versions are available through Apple's Developer website (some of these are free, but do require you to
+    register with Apple as an "Apple Developer", which involves clicking to accept a legal agreement with Apple).
+    I have an older version of this installed. If you download a recent version, email me and let me know how the
+    process works so I can tell others.
+    <!--
+    The latest version of Xcode to work with 10.5 / Leopard is 3.14; more recent versions (>= 3.2) require 10.6 / Snow Leopard.
+    3.2.6 is last version that can be downloaded for free by users of 10.6 / Snow Leopard. (But if they pay, they can use up to Xcode 4.2.)
+    Xcode 4.1 was free to all users of 10.7 / Lion. Is Xcode 4.6.x still available for free? Are Xcode 5.x and/or 6.x available for free?
+    -->
 
-       Xcode is available at
-       <http://developer.apple.com/technologies/tools/xcode.html>. Some
-       versions of this have been available for free, though you do have to
-       register with Apple as an "Apple Developer", which involves accepting a
-       legal agreement with Apple. I have an older version of this installed.
-       If you download a recent version, email me and let me know how the
-       process works so I can tell others. There are instructions about how to
-       get Xcode in the MacPorts installation guide.
-       <!--
-       The latest version of Xcode to work with Leopard is 3.14; more
-       recent versions (>= 3.2) require Snow Leopard. 3.2.6 is last version that can be downloaded for free by users of 10.6 / Snow Leopard. (But if they pay, they can use up to Xcode 4.2.)
-       Xcode 4.1 was free to all users of 10.7 / Lion. Is Xcode 4.6.x still available for free? Are Xcode 5.x and/or 6.x available for free?
-       -->
-
-*      Or you won't have those installed. (**Most Mac users will be in this group.**)
-       Then you'll need pre-packaged (and usually pretty GUI) installers for
-       everything. These are great when they're available and kept up-to-date;
-       however sometimes those conditions aren't met.
+*   Or you won't have those installed. (**Most Mac users will be in this group.**)
+    Then you'll need pre-packaged (and usually pretty GUI) installers for
+    everything. These are great when they're available and kept up-to-date;
+    however sometimes those conditions aren't met.
 
 
 
 If you're using **Windows**, you'll be in one of two subgroups:
 
-*      You'll have the Cygwin system
-       <http://www.cygwin.com/> installed.
-       This puts a Unix-like layer on top of your Windows system,
-       and makes it easier for you to use the same software everybody
-       else will be using, without its needing as much special-for-Windows
-       treatment. However, many of you won't have this installed.
+*   You'll have the Cygwin system <http://www.cygwin.com/> installed.
+    This puts a Unix-like layer on top of your Windows system,
+    and makes it easier for you to use the same software everybody
+    else will be using, without its needing as much special-for-Windows
+    treatment. However, many of you won't have this installed.
+
+*   You won't have Cygwin installed. (**Most Windows users will be in this group.**)
+    You might in theory have a different group of compilers installed
+    (MinGW, or Microsoft Visual C++) but we'll assume that the overwhelming
+    majority of users in this group don't have access to a compiler and
+    need pre-packaged installers for everything.
 
-*      You won't have Cygwin installed. You might in theory have
-       a different group of compilers installed (MinGW, or Microsoft Visual C++) but
-       we'll assume that the overwhelming majority of users in this group
-       don't have access to a compiler and need pre-packaged installers
-       for everything.
 
 If you're using **Linux**, you could be using any one of numerous packaging
 systems.
 
-*      We'll give examples using the packaging system shared by Debian and Ubuntu,
-       and we'll assume that those of you using different packaging systems will know
-       how to make the relevant substitutions. You may also want to take note of the
-       output of the "uname -srm" command. On my machine this tells me "Linux
-       3.12.8-extrastuff x86\_64". That tells me I'm running the x86\_64 (as opposed to the
-       i686 or i386 or whatever) version of Linux, and that I'm running kernel
-       version 3.12.8.
+*   We'll give examples using the packaging system shared by Debian and Ubuntu,
+    and we'll assume that those of you using different packaging systems will know
+    how to make the relevant substitutions.
 
-**For all of these groups**, a general item to take note of is what "processor architecture" your machine is running. Three of the possibilities are:
+
+**For everyone**, a general item to take note of is what "processor architecture" your machine is running. Three of the possibilities are:
 
 *   One of Intel's i386, i486, i586, i686 architectures. These are collectively known as "x86" or "IA-32" or sometimes just "32-bit".
-*   Intel or AMD's x86\_64 architecture. This is sometimes also called "x64" or "amd64" or "IA-64" or sometimes just "64-bit".
+*   Intel or AMD's x86\_64 architecture. This is also called "x64" or "amd64" or "IA-64" or sometimes just "64-bit". (Note that these *aren't* "x86" machines, even though "x86\_64" starts with those letters.)
 *   ARM or some other architecture. These are generally lower-powered machines, like iPads. Some of the software we're proposing *might* in principle be capable of running on such machines, but installers don't seem to be available. We'll assume you have access to an x86 or x86\_64 machine.
 
-In the Linux example above, I could tell my machine is running x86 because the
-result of the `uname` command said "i386" at the end. Another machine I have
-says "x86\_64" at the end. On a Mac, you can also say `uname -m` in a Terminal
-session, and it will say something like "i386". I think that Mac OS Xs from Lion
-/ 10.7 forward have all been x86\_64-only. On Windows, I don't know how to
-collect this information. But generally, machines running Windows XP will
-probably be i386/32-bit (unless it's a version of Windows with "64-bit" or
-"x64" in its title); machines running Windows Vista or Windows 7 or Windows 8
-could be running either x86/32-bit or x64/64-bit.
-(Update: I found
-[this Microsoft page](http://windows.microsoft.com/en-us/windows/32-bit-and-64-bit-windows)
-that may help.)
+On Linux or Mac OS X, you can open a terminal and type `uname -m`. If the
+result is "x86\_64", then you've got x64/64-bit. If it's "i386" or something
+like that, then you've got x86/32-bit. I think that Mac OS Xs from 10.7 / Lion
+forward have all been x86\_64-only.
+
+On Windows,
+[here is a page that can help you figure this out](http://windows.microsoft.com/en-us/windows/32-bit-and-64-bit-windows).
+I think that most machines running Windows XP will be x86/32-bit (unless it's
+a version of Windows with "64-bit" or "x64" in its title); machines running
+Windows Vista or Windows 7 or Windows 8 could be running either x86/32-bit or
+x64/64-bit.
 
 
 ## PLEASE REPORT PROBLEMS (AND SOLUTIONS!) ##
@@ -111,80 +106,117 @@ easier and more straightforward for others.
 of programming languages. The other dialects are called "Common Lisp" and "Clojure".
 Scheme is the more clean and minimalist dialect, and is what's mostly used in
 academic circles.
+
+*   In your web browser:
+
+    There is a (slow, bare-bones) version of Scheme available for online use at <http://tryscheme.sourceforge.net/>.
+
 Scheme itself has umpteen different "implementations", which share most of
 their fundamentals, but have slightly different extensions and interact with
-the operating system differently. One major implementation is called Racket,
+the operating system differently. One major implementation is called [Racket](http://racket-lang.org),
 and that is what we recommend you use. (A few years back they were called PLT Scheme, but then
 they changed their name to Racket.)
 If you're already using or comfortable with
 another Scheme implementation, though, there's no compelling reason to switch.
 
-If for some reason you have problems with Racket, other implementations you could
-try are
-[Chicken](http://www.call-cc.org),
-[Gauche](http://practical-scheme.net/gauche),
-or [Chibi](https://code.google.com/p/chibi-scheme). The later in that list you go, the more likely it
-is that you'll have to compile the software yourself. (Thus Mac users will need Xcode.)
 
-Racket stands to Scheme in something like the relation Firefox stands to HTML. It's one program among others for working with the language; and many of those programs (or web browsers) permit different extensions, have small variations, and so on.
+Another good Scheme implementation is [Chicken](http://www.call-cc.org). For our purposes, this is in some respects
+superior to Racket, and in other respects inferior. If you have any issues with installing or using Racket, you could
+try this out instead. You might even want to install both.
+
+<!--
+Racket doesn't have R7RS-small, and won't anytime soon.
+Other R7RS-friendly: [Gauche](http://practical-scheme.net/gauche), [Chibi](https://code.google.com/p/chibi-scheme).
+-->
+
+Racket and Chicken stand to Scheme in something like the relation Firefox stands to HTML. They are two programs (or platforms) among others for working with the Scheme language; and many of those programs (or web browsers) permit different extensions, have small variations, and so on.
 
 Racket has several components. The two most visible components for us are a command-line interpreter named "racket" and a teaching-friendly editor/front-end named "DrRacket". You will probably be working primarily or wholly in the latter.
 <!-- "racket" used to be mzscheme, "DrRacket" used to be DrScheme -->
 
 The current version of Racket is 6.1.1 (released November 2014).
 
-*      In your web browser:
+*   **To install in Windows**
+
+    Go to <http://racket-lang.org/download/>. Download and install the "Windows x64" version. (Or the "Windows x86" verson if you have an older, 32-bit system.)
+
+*   **To install on Mac without MacPorts**
+
+    Go to <http://racket-lang.org/download/>. Download and install the option for your system, most likely "Macintosh
+    OS X (Intel 64-bit)".
+
+    After you copy the files from the Installation disk to your /Applications folder, I think it's helpful to do these additional steps. In a Terminal, type:
+
+        sudo ln -s /Applications/Racket*/DrRacket.app /Applications/
+        sudo ln -s /Applications/Racket*/bin/racket /usr/bin/
 
-       There is a (slow, bare-bones) version of Scheme available for online use at <http://tryscheme.sourceforge.net/>.
+    Then you can launch Racket either by double-clicking the DrRacket icon in
+    your Applications folder (this gives you the GUI interface); or by typing
+    `racket` in a Terminal (this gives you the command-line version).
 
-*      **To install in Windows**
+*   **To instead install Chicken Scheme on Mac without MacPorts**
 
-       Go to <http://racket-lang.org/download/>. Download and install the "Windows x64" version. (Or the "Windows x86" verson if you have an older, 32-bit system.)
+    Here are the exact steps I just verified worked. Note that I *first installed the Haskell Platform*, described further down this page; that installed some developer tools that were needed to build and install Chicken. If you don't know how to open a Terminal, move between directories, copy / rename / delete files and so on, then you're probably best off not doing this. You could break something.
 
-*      **To install on Mac without MacPorts**
+    1. Go to <http://code.call-cc.org>, and click the "Source code" link near the top. Current version is 4.9.0.1, released November 2014. This should fetch a file to your download folder, and will probably automatically unpack that file into a folder, "chicken-4.9.0.1". Click on that folder and press command-C / Copy, then open a Terminal.
+    2. In the terminal type `cd` followed by a space, then press command-V / Paste. Then press enter. This will move your session into the folder you just downloaded.
+    3. Type `less README` and read that file.
+    4. Type `sudo mkdir -p /usr/local`
+    5. Type `make PLATFORM=macosx XCODE_DEVELOPER= XCODE_TOOL_PATH=/usr/bin`
 
-       Go to <http://racket-lang.org/download/>. Download and install the option for your system, most likely "Macintosh
-       OS X (Intel 64-bit)".
+    The options starting with `XCODE_` are to tell the Chicken build scripts that I've got the developer tools installed in my main system, rather than as part of Xcode. (That's where the Haskell Platform installer put them.) Continuing:
 
-*      **To install on Mac with MacPorts**
+    6. Wait a while while Chicken builds.
+    7. If it finishes with no errors, then type `sudo make PLATFORM=macosx XCODE_TOOL_PATH=/usr/bin install`. This will prompt you for your account password, and then install Chicken underneath your `/usr/local` directory.
+    8. At this point you can type `which chicken`. If it gives you an answer of "/usr/local/bin/chicken", then skip to the next step. Else you should type `echo 'export PATH=/usr/local/bin:$PATH' >> ~/.bashrc`, then exit and restart your Terminal session.
+    9. In your terminal, type `chicken-install -sudo r7rs datatype matchable monad`. This will download, build, and install a few extensions (Chicken calls them "eggs") relevant to ideas we'll be working with in this course.
 
-       Unfortunately, MacPorts doesn't have Racket itself available. It only has an older version from when they still called
-       themselves PLT Scheme. And even then, it only has the command-line program "mzscheme" (what's nowadays called "racket"); it
-       doesn't have the GUI program that corresponds to what's now called "DrRacket". You can install mzscheme by opening a Terminal
-       window and typing:
+*   **To install on Mac with MacPorts**
 
-                sudo port install mzscheme
+    Unfortunately, MacPorts doesn't have Racket itself available. It only has an older version from when they still called
+    themselves PLT Scheme. And even then, it only has the command-line program "mzscheme" (what's nowadays called "racket"); it
+    doesn't have the GUI program that corresponds to what's now called "DrRacket". You can install mzscheme by opening a Terminal
+    window and typing:
 
-       If you want the GUI components, I think you'll need to use the
-       "Mac/without MacPorts" installation options above.
+         sudo port install mzscheme
 
-       I recommend also typing:
+    <!-- mzscheme v4.1.5, from March 2009; latest mzscheme is 4.2.5, from April 2010 -->
 
-               sudo port install rlwrap
+    If you want the GUI components, I think you'll need to use the
+    "Mac/without MacPorts" installation options above. Or you could try the Chicken Scheme implementation instead of Racket. This is more current.
+    To do that, type:
 
-       then if you ever use the command-line program `mzscheme` (or `racket`), you should start it by typing `rlwrap mzscheme`. This gives
-       you a nice history of the commands you've already typed, which you can scroll up and down in with your
-       keyboard arrows.
+        sudo port install chicken readline
 
-*      **To install on Linux**
+    <!-- chicken v4.8.0.2, from Feb 2013; latest available is 4.9.0.1, from Nov 2014 -->
 
-       Use your packaging system, for example, open a Terminal and
-       type:
+    Whether you use mzscheme or Chicken, I recommend also typing:
 
-                sudo apt-get install racket
+        sudo port install rlwrap
 
-       It's very likely that your packaging system has some version of
-       Racket available, so look for it. However, if you can't find it you
-       can also install a pre-packaged binary from the Racket website at <http://racket-lang.org/download/>.
-       Choose the option for your version of Linux (Ubuntu and Debian are available).
+    then if you ever use the command-line program `mzscheme` (or `racket`, for that matter), you should start it by typing `rlwrap mzscheme` (or whatever). This gives
+    you a nice history of the commands you've already typed, which you can scroll up and down in with your
+    keyboard arrows.
 
-       As above, I recommend you also type:
+*   **To install on Linux**
 
-               sudo apt-get rlwrap
+    Use your packaging system, for example, open a Terminal and
+    type:
 
-       then if you ever use the command-line program `mzscheme` (or `racket`), you should start it by typing `rlwrap mzscheme`. This gives
-       you a nice history of the commands you've already typed, which you can scroll up and down in with your
-       keyboard arrows.
+         sudo apt-get install racket
+
+    It's very likely that your packaging system has some version of
+    Racket available, so look for it. However, if you can't find it you
+    can also install a pre-packaged binary from the Racket website at <http://racket-lang.org/download/>.
+    Choose the option for your version of Linux (Ubuntu and Debian are available).
+
+    As above, I recommend you also type:
+
+        sudo apt-get rlwrap
+
+    then if you ever use the command-line program `mzscheme` (or `racket`), you should start it by typing `rlwrap mzscheme` (or whatever). This gives
+    you a nice history of the commands you've already typed, which you can scroll up and down in with your
+    keyboard arrows.
 
 
 ## Getting OCaml ##
@@ -197,102 +229,137 @@ Sometimes we may refer to Caml or ML
 more generally; but you can assume that what we're talking about always works more
 specifically in OCaml.
 
-It's helpful if in addition to OCaml you also install the Findlib add-on.
-This will make it easier to install additional add-ons further down the road.
-However, if you're not able to get that working, don't worry about it much.
+It's helpful if in addition to OCaml you also install the
+Findlib add-on and/or the [OPAM](https://opam.ocaml.org) "package manager."
+These will make it easier to install additional add-ons further down the road.
+However, if you're not able to get them working, don't worry about it much.
 
 The current version of OCaml is 4.02.1 (released October 2014).
+<!-- 3.12.1 July 2011; 4.00.1 Oct 2012; 4.01.0 Sept 2013; 4.02.0 Aug 2014; 4.02.1 Oct 2014 -->
+
+
+*   In your web browser:
+
+    There is a (slow, bare-bones) version of OCaml available for online use at <http://try.ocamlpro.com/>.
+
+
+*   **To install in Windows**
+
+    There are *five* different strategies for installing OCaml on Windows. I don't know which works best.
+
+    1.  First, you can go to <http://caml.inria.fr/download.en.html>.
+    You can probably download and install the
+    "Self installer for the port based on the MinGW toolchain"
+    even if you don't know what MinGW or Cygwin are.
+    Some features of this require Cygwin, but it looks like
+    it should mostly work even for users without Cygwin.
+    At the time of this writing, only an installer for an earlier
+    version of OCaml (4.01.0, from September 2013) is available.
+
+    2.  A second strategy uses a package called
+        [OCPWIN](http://ocaml.org/docs/install.html#OCPWINSelfContainedOCamlforWindows). This also installs only version 4.01.0.
+
+    3.  The [three remaining strategies](http://ocaml.org/docs/install.html#OCamlonCygwin) in some way
+    use the Cygwin environment, mentioned earlier on this page. At least one of
+    those three methods will automatically fetch and help you install Cygwin.
+    The first method listed on that page says it installs version 4.00.1, but
+    really it's been updated and now installs the (somewhat newer, but still
+    not the newest) version 4.01.0.
 
-Another instruction page focuses on [OPAM](http://ocaml.org/docs/install.html), also [this](https://opam.ocaml.org).
+    Some of these methods may automatically install Findlib for you. If not,
+    you can try installing it yourself but I think you'll need the Cygwin
+    system installed to do so. I'm not going to explain how to do this.
+    If you want to figure it out yourself, go to the
+    Findlib website at <http://projects.camlcity.org/projects/findlib.html>.
 
-*      In your web browser:
+*   **To install on Mac without MacPorts**
 
-       There is a (slow, bare-bones) version of OCaml available for online use at <http://try.ocamlpro.com/>.
+    The people in charge of OCaml (they're at the French research institute INRIA) have stopped making pre-built packages for Mac OS X. One option you have is to use their package for a slightly older version of OCaml, 4.01.1 from Sept. 2013. You can find that as a "Precompiled binary for Mac OS X" on [this page](http://ocaml.org/releases/4.01.0.html). If, when you attempt to install this package, you get an error about its being from an "unidentified developer," you need to control-click on the `ocaml.pkg` file and select "Open", then when the warning box appears again, this time there will be an "Open" button that you can click. Then you can continue running the Installer.
 
-*      **To install in Windows**
+    A second option is to install the OPAM package manager and use that to build and install the latest version of OCaml. Here's how to do that:
 
-       Go to <http://caml.inria.fr/download.en.html>.
-       You can probably download and install the
-       "Self installer for the port based on the MinGW toolchain"
-       even if you don't know what MinGW or Cygwin are.
-       Some features of this require Cygwin, but it looks like
-       it should mostly work even for users without Cygwin.
-       At the time of this writing, only an installer for the previous
-       version of OCaml (3.11.0, from January 2010) is available.
+    1.  Download [this file](https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh) and
+    note where it gets saved to. If it opens in your browser, then type
+    command-S / Save Page and save it somewhere on your disk, again noting its
+    location.
 
-       To install the Findlib add-on, you must have the
-       Cygwin system installed. We assume few of you do,
-       so we're not going to try to explain how to do this.
-       If you want to figure it out yourself, go to the
-       Findlib website at <http://projects.camlcity.org/projects/findlib.html>.
+    2.  Open a terminal and type:
+        
+            sudo mkdir -p /usr/local/bin
+            sudo sh /path/to/opam_installer.sh /usr/local/bin
 
-*      **To install on Mac without MacPorts**
+        Except replace `/path/to` with the real location, that you noted in step 1.
 
-       To install OCaml 3.12 (just released this summer), go to
-       <http://caml.inria.fr/download.en.html>
-       and download and install the "Binary distribution for Mac OS X"
+    3.  If that works, then type:
 
-       To install the Findlib add-on, you'll need the Xcode development tools
-       to compile it yourself. Once you get that far, it's probably easiest
-       for you to install MacPorts and just install things using the MacPorts
-       instructions. (Use the MacPorts version of OCaml, instead of installing
-       the package from the caml.inria.fr website, as described above)
-       However, if you do have Xcode, and want to do without MacPorts, then
-       what you need to do is download Findlib from
-       <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
-       Unpack the download, open a Terminal and go into the folder you just
-       unpacked, and type:
+            opan init --comp 4.01.0
 
-               ./configure
-               make package-macosx
+        or whatever it was that the OPAM installer prompted you to type. This will download and install a fresh version of OCaml, and will take a bit of time.
 
-       This will build an installer package which you should be able to
-       double-click and install.
+<!--
+If you do have Xcode, and want to do without MacPorts, then
+what you need to do is download Findlib from
+<http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
+Unpack the download, open a Terminal and go into the folder you just
+unpacked, and type:
 
-*      **To install on Mac with MacPorts**
+    ./configure
+    make package-macosx
 
-       You can install the previous version of OCaml (3.11.2,
-       from January 2010), together with the Findlib add-on, by opening a Terminal
-       and typing:
+This will build an installer package which you should be able to
+double-click and install.
+-->
 
-               sudo port install ocaml caml-findlib
+*   **To install on Mac with MacPorts**
 
-       As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
-       you a nice history of the commands you've already typed, which you can scroll up and down in with your
-       keyboard arrows.
+    You can install the current version of OCaml (4.02.1, from October 2014),
+    together with the Findlib add-on and OPAM package manager, by opening a Terminal and typing:
 
-*      [More details about installing OCaml on Macs, if needed](http://cocan.org/getting_started_with_ocaml_on_mac_os_x)
+        sudo port install ocaml ocaml-findlib opam
 
-*      **To install on Linux**
+    As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
+    you a nice history of the commands you've already typed, which you can scroll up and down in with your
+    keyboard arrows.
 
-       Use your packaging system, for example, open a Terminal and
-       type:
+*   **To install on Linux**
 
-               sudo apt-get install ocaml ocaml-findlib
+    Use your packaging system, for example, open a Terminal and
+    type:
 
-       That will install a version of OCaml and the Findlib add-on.
+        sudo apt-get install ocaml opam camlp4-extra ocaml-findlib
 
-       If for some reason you can't get OCaml through your
-       packaging system, you can go to
-       <http://caml.inria.fr/download.en.html>.
-       Pre-packaged binary installers are available for several Linux systems.
+    That will install a version of OCaml and the Findlib add-on and OPAM package manager.
 
-       If you can't get findlib through your packaging system, you'll
-       need to download it from
-       <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
-       and use gcc to compile it yourself. If you don't know how to
-       do that, you probably don't want to attempt this.
-       Here are the INSTALL notes:
-       <https://godirepo.camlcity.org/svn/lib-findlib/trunk/INSTALL>.
+    If you're using Ubuntu "Utopic" (14.10), there's [a note on the OPAM home page](https://opam.ocaml.org/doc/Install.html)
+    warning that its version of OPAM is broken, and not to use it. Here's how you can get (OCaml and) OPAM from a newer repository:
 
-       As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
-       you a nice history of the commands you've already typed, which you can scroll up and down in with your
-       keyboard arrows.
+        sudo apt-get install -y software-properties-common
+        sudo apt-apt-repository -y ppa:avsm/ppa
+        sudo apt-get update
+        sudo apt-get install ocaml opam
+
+    If for some reason you can't get OCaml through your Linux packaging system, you can go to
+    <http://caml.inria.fr/download.en.html>.
+    Pre-packaged binary installers are available for several Linux systems.
+
+    If you can't get findlib through your packaging system, you'll need to download it from
+    <http://download.camlcity.org/download/findlib-1.5.5.tar.gz>.
+    and use gcc to compile it yourself. If you don't know how to do that, you probably don't want to attempt this.
+    Here are the INSTALL notes:
+    <https://godirepo.camlcity.org/svn/lib-findlib/trunk/INSTALL>.
+
+    As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
+    you a nice history of the commands you've already typed, which you can scroll up and down in with your
+    keyboard arrows.
+
+**After using any of those methods**, if you managed to install OPAM along with OCaml, then open a Terminal and type this:
+
+    echo "will be posted shortly"
 
 
 ## Getting Haskell ##
 
-This last step is less crucial than the others, since we will be focusing
+This last installation is less crucial than the others, since we will be focusing
 primarily on Scheme and OCaml. However we, and the readings you come across,
 will sometimes mention Haskell, so it might be worth your installing this too,
 so that you have it available to play around with.
@@ -306,16 +373,62 @@ other. But these languages also have *a lot* in common, and if you're
 familiar with one of them, it's generally not hard to move between it and the
 other.
 
-*      In your web browser:
+*   In your web browser:
+
+    There is a (slow, bare-bones) version of Haskell available for online use at <http://tryhaskell.org/>.
+
+Like Scheme, Haskell has a couple of different implementations. The dominant one, and the one we recommend you install, is called [GHC](https://wiki.haskell.org/GHC), short for "Glasgow Haskell Compiler". To install this on your machine, there are a couple of different strategies. It's helpful to understand some lingo as you begin this process:
+
+*   As mentioned, **GHC** is the main Haskell engine or compiler you'll be installing. The current version is 7.8.4, from December 2014.
+*   **gcc** and **llvm/clang** and **Xcode** and **MinGW** are names for other compilers on various systems. Oftentimes these will be used during the installation process to get GHC up and running. Some of the strategies described below will help you install these if they're not already on your machine.
+*   **alex** and **happy** and **haddock** are names of various Haskell helper programs that GHC uses to get up and running.
+*   **[Cabal](https://www.haskell.org/cabal)** is a "package manager" for Haskell. It allows you to install libraries or extensions that other people have built. (Usually those are published at the [Hackage](https://hackage.haskell.org) web site.) Some of these are experimental and may not always work; others are quite fundamental and are almost de facto parts of what people expect in a Haskell system.
+*   **[Haskell Platform](https://www.haskell.org/platform)** is a standard bundle that includes a fixed version of GHC, plus fixed versions of some of the most popular libraries or extensions. This is updated once or twice a year. The current version is 2014.2.0.0, from August 2014. It includes GHC version 7.8.3.
+
+The easiest way to get up and running with Haskell/GHC is to install the Haskell Platform. Here's how to do that **on Windows**:
+
+*   Go to <https://www.haskell.org/platform/windows.html> and follow the instructions. It looks like this process will automatically install the MinGW compiler needed to get this build of Haskell running on Windows.
+
+On **Mac without MacPorts**:
+
+*   Go to <https://www.haskell.org/platform/mac.html> and follow the instructions. This requires Mac OS X 10.6 / Snow Leopard or later; but there is a link to an earlier version of Haskell Platform, that's built for Mac OS X 10.5 / Leopard. During the installation, you may be prompted to install "the command line developer tools"; this is a portion of what Apple bundles together with Xcode (mentioned above on this page). The installer will take care of getting these for you if you give it permission.
+
+On **Mac with MacPorts**:
+
+*   In a Terminal, type `sudo port install haskell-platform`.
+
+On **Ubuntu or Debian Linux**:
+
+*   In a Terminal, type `sudo apt-get install haskell-platform`.
+
+
+It's useful to know about the general [Haskell wiki](https://wiki.haskell.org) (not restricted to just GHC). They have a [Getting Started](https://wiki.haskell.org/Haskell_in_5_steps) page, which also recommends that you install the Haskell Platform.
+
+If any of the instructions above don't work, then you can try alternative instructions for [Mac](http://new-www.haskell.org/downloads/osx) or [Windows](http://new-www.haskell.org/downloads/windows) or [Ubuntu](http://new-www.haskell.org/downloads/linux). Note that this method doesn't install all the extensions that are part of the Haskell Platform, but only the core pieces of GHC. You can use Cabal to download and manage any extra extensions you turn out to need, down the road.
+
+**After installing Haskell**, open a Terminal and type:
+
+    cabal update
+
+It may give you a message about updating your `PATH` variable. On my Mac, I first typed `echo $PATH` and verified that `/usr/local/bin` appeared somewhere in the resulting string. (The elements are divided by `:` characters.) Then I typed this:
+
+    echo 'export PATH="$HOME/Library/Haskell/bin:$PATH"' >> ~/.bash_profile
+
+That was to update my `PATH` variable as instructed by Cabal. On a Linux machine, or if you installed Haskell differently on your Mac, you might have to type instead:
+
+    echo 'export PATH="$HOME/.cabal/bin:$PATH"' >> ~/.bash_profile
+
+Some instructions may say to use `.bashrc` instead of `.bash_profile`. These files do similar jobs.
 
-       There is a (slow, bare-bones) version of Haskell available for online use at <http://tryhaskell.org/>.
+After issuing the relevant `echo` command, I exited the Terminal and started a new Terminal session. Now if I type `echo $PATH` I should see the directory I just added in the list. Now I can contine setting up Cabal. I type:
 
-sudo apk-get install haskell-platform
+    which alex happy
 
-<https://github.com/pittsburgh-haskell/haskell-installation>
+If that gives me back two pathnames, one to the program `alex` and the other to the program `happy`, then I'm already finished. If not, then I type:
 
-<https://www.haskell.org/platform>
+    cabal install alex happy
 
-Getting started: <https://wiki.haskell.org/Haskell_in_5_steps>
+This installs those two programs. They are helpers that Cabal needs to build and install some packages.
 
+<!-- https://github.com/pittsburgh-haskell/haskell-installation -->