pred in system F
[lambda.git] / installing.mdwn
index a74bce1..2d08302 100644 (file)
@@ -1,5 +1,7 @@
 ## Notes ##
 
+*   If the instructions below seem overwhelming, note that it should be possible to do a lot of this course using only demonstration versions of these languages [[that run in your web browser|browser]].
+
 *   We were updating this page vigorously until about 2:30 pm on Saturday 31
 January. Now it is relatively stable, but we'll tweak it as we learn more. We
 encourage you to try to get the software set up sooner rather than later, and
@@ -159,9 +161,9 @@ another Scheme implementation, though, there's no compelling reason to switch.
 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.
+Racket doesn't have R7RS-small, and won't anytime soon. :-(
+Also Chicken's library collection seems stronger, or at least better organized and maintained.
 Other R7RS-friendly: [Gauche](http://practical-scheme.net/gauche), [Chibi](https://code.google.com/p/chibi-scheme).
 -->
 
@@ -393,6 +395,8 @@ double-click and install.
     keyboard arrows.
 
 
+<!-- More info on installing Ocaml and VMs at <http://ocaml.org/learn/teaching-ocaml.html#OCamlinstallation> -->
+
 
 <a name=haskell></a>
 ## Getting Haskell ##
@@ -420,8 +424,8 @@ Like Scheme, Haskell has a couple of different implementations. The dominant one
 *   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 specific version of GHC, plus specific 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.
+*   **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) Package Database.) 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.
+*   The **[Haskell Platform](https://www.haskell.org/platform/contents.html)** is a standard bundle that includes a specific version of GHC, plus specific 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**:
 
@@ -429,7 +433,7 @@ The easiest way to get up and running with Haskell/GHC is to install the Haskell
 
 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.
+*   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 the 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.
 
 <!--
 The Installer places everything in your system directories. If you'd like it instead in your user directory (easier to clean up later), you can do this after running the Installer:
@@ -465,8 +469,6 @@ 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: