reader monad
[lambda.git] / installing.mdwn
1 ## Notes ##
2
3 *   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]].
4
5 *   We were updating this page vigorously until about 2:30 pm on Saturday 31
6 January. Now it is relatively stable, but we'll tweak it as we learn more. We
7 encourage you to try to get the software set up sooner rather than later, and
8 those who do so first should let us know how things go---whether it's smoothly
9 or not---so that we might possibly refine or expand the instructions for
10 others. It'd be great if you took careful notes of what you did, step by step.
11 If our instructions are broken or misleading or incomplete, and you figure out
12 how to fix them on your own, it'd also be great if you can tell us what went
13 wrong and exactly what you did to achieve joy.
14
15 *   On a Mac or Linux system, you have a number of *system directories* such as `/usr` and `/Library`,
16     and also your *user home directory* which will be named something like `/User/george` or `/home/george`
17     if you are `george`. Other ways to refer to the user home directory are as `~` (the tilde character)
18     or as `$HOME`. When installing software, you sometimes have a choice of whether to install it into
19     the system directories or in subdirectories of your user home. When this choice was available,
20     I made the instructions that follow select the latter. This makes it somewhat harder for things
21     to get messed up, and makes it somewhat easier for you to remove things later.
22
23     If you're using a Mac without MacPorts (explained below), then Chicken and
24     OCaml will be installed under your user home; but Racket's and GHC's
25     Installers put them into system directories.
26
27
28 ## Identifying your system ##
29
30 We'll assume you're using either Mac OS X, or Windows, or Linux.
31 If you're running **iOS**, you'll have a much harder time (perhaps impossible,
32 perhaps not) getting this software to run on your machine, and we can't give
33 you any guidance.
34
35 If you're using **Mac OS X**, take note of what version of the Mac OS you're
36 running. (Under the Apple Menu, select "About this Mac".)
37
38 *    Leopard (10.5)
39 *    Snow Leopard (10.6)
40 *    Lion (10.7)
41 *    Mountain Lion (10.8)
42 *    Mavericks (10.9)
43 *    Yosemite (10.10)
44
45 Furthermore, Mac users will be in one of two subgroups:
46
47 *   You'll have Apple's Xcode and the independent MacPorts system
48     installed. (Probably you don't. If you don't know what I'm talking about, you don't have these.)
49
50     If you don't have these, but want to try this route, you can read about
51     the MacPorts system at <http://www.macports.org/>.
52     This automates the building of Unix-type software on your Mac; it
53     makes it a lot easier to check for dependencies, use more-recent
54     versions of things, and so on. (Though as it happens, MacPorts only has an older version of
55     our chosen implementation of Scheme.)
56
57     There are also other package management systems available for the Mac, notably Homebrew and Fink. I only know a little bit about them.
58
59     There are instructions about how to get Xcode on the [Installing MacPorts](https://www.macports.org/install.php) page.
60     Some versions of [Xcode](http://developer.apple.com/xcode.html) are available for free on the Mac App Store.
61     Other versions are available through Apple's Developer website (some of these are free, but do require you to
62     register with Apple as an "Apple Developer", which involves clicking to accept a legal agreement with Apple).
63     I have an older version of this installed. If you download a recent version, email me and let me know how the
64     process works so I can tell others.
65     <!--
66     The latest version of Xcode to work with 10.5 / Leopard is 3.14; more recent versions (>= 3.2) require 10.6 / Snow Leopard.
67     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.)
68     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?
69     -->
70
71 *   Or you won't have those installed. (**Most Mac users will be in this group.**)
72     Then you'll need pre-packaged (and usually pretty GUI) installers for
73     everything. These are great when they're available and kept up-to-date;
74     however sometimes those conditions aren't met.
75
76
77
78 If you're using **Windows**, you'll be in one of two subgroups:
79
80 *   You'll have the Cygwin system <http://www.cygwin.com/> installed.
81     This puts a Unix-like layer on top of your Windows system,
82     and makes it easier for you to use the same software everybody
83     else will be using, without its needing as much special-for-Windows
84     treatment. However, many of you won't have this installed.
85
86 *   You won't have Cygwin installed. (**Most Windows users will be in this group.**)
87     You might in theory have a different group of compilers installed
88     (MinGW, or Microsoft Visual C++) but we'll assume that the overwhelming
89     majority of users in this group don't have access to a compiler and
90     need pre-packaged installers for everything.
91
92
93 If you're using **Linux**, you could be using any one of numerous packaging
94 systems.
95
96 *   We'll give examples using the packaging system shared by Debian and Ubuntu,
97     and we'll assume that those of you using different packaging systems will know
98     how to make the relevant substitutions.
99
100
101 **For everyone**, a general item to take note of is what "processor architecture" your machine is running. Three of the possibilities are:
102
103 *   One of Intel's i386, i486, i586, i686 architectures. These are collectively known as "x86" or "IA-32" or sometimes just "32-bit".
104 *   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.)
105 *   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.
106
107 On Linux or Mac OS X, you can open a terminal and type `uname -m`. If the
108 result is "x86\_64", then you've got x64/64-bit. If it's "i386" or something
109 like that, then you've got x86/32-bit. I think that Mac OS Xs from 10.7 / Lion
110 forward have all been x86\_64-only.
111
112 On Windows,
113 [here is a page that can help you figure this out](http://windows.microsoft.com/en-us/windows/32-bit-and-64-bit-windows).
114 I think that most machines running Windows XP will be x86/32-bit (unless it's
115 a version of Windows with "64-bit" or "x64" in its title); machines running
116 Windows Vista or Windows 7 or Windows 8 could be running either x86/32-bit or
117 x64/64-bit.
118
119
120 ## PLEASE REPORT PROBLEMS (AND SOLUTIONS!) ##
121
122 We haven't tested these instructions ourselves, and they're not explicit
123 step-by-step instructions in any case. If you encounter troubles, please email
124 to let us know so that we can amend the instructions to help others. If you
125 figure out how to fix the problem youself (and please do), please also write
126 with suggestions how we can change these instructions to make the process
127 easier and more straightforward for others.
128
129
130 ## Preliminaries ##
131
132 If you're using Linux or a Mac without MacPorts, then open a Terminal and type the following. You probably want to copy and paste it to make sure you don't make mistakes:
133
134     (IFS=:; for p in $PATH; do [ /usr/local/bin = "$p" ] && exit 0; done;
135             echo 'export PATH="/usr/local/bin:$PATH"' >> ~/.bash_profile)
136     mkdir -p ~/bin
137     echo 'export PATH="$HOME/bin:$PATH"' >> ~/.bash_profile
138
139
140 <a name=scheme></a>
141 ## Getting Scheme ##
142
143 **Scheme** is one of two or three major dialects of *Lisp*, which is a large family
144 of programming languages. The other dialects are called "Common Lisp" and "Clojure".
145 Scheme is the more clean and minimalist dialect, and is what's mostly used in
146 academic circles.
147
148 *   In your web browser:
149
150     There is a (slow, bare-bones) version of Scheme available for online use at <http://tryscheme.sourceforge.net/>.
151
152 Scheme itself has umpteen different "implementations", which share most of
153 their fundamentals, but have slightly different extensions and interact with
154 the operating system differently. One major implementation is called [Racket](http://racket-lang.org),
155 and that is what we recommend you use. (A few years back they were called PLT Scheme, but then
156 they changed their name to Racket.)
157 If you're already using or comfortable with
158 another Scheme implementation, though, there's no compelling reason to switch.
159
160
161 Another good Scheme implementation is [Chicken](http://www.call-cc.org). For our purposes, this is in some respects
162 superior to Racket, and in other respects inferior. If you have any issues with installing or using Racket, you could
163 try this out instead. You might even want to install both.
164 <!--
165 Racket doesn't have R7RS-small, and won't anytime soon. :-(
166 Also Chicken's library collection seems stronger, or at least better organized and maintained.
167 Other R7RS-friendly: [Gauche](http://practical-scheme.net/gauche), [Chibi](https://code.google.com/p/chibi-scheme).
168 -->
169
170 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.
171
172 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.
173 <!-- "racket" used to be mzscheme, "DrRacket" used to be DrScheme -->
174
175 The current version of Racket is 6.1.1 (released November 2014).
176
177 *   **To install in Windows**
178
179     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.)
180
181 *   **To install on Mac without MacPorts**
182
183     Go to <http://racket-lang.org/download/>. Download and install the option for your system, most likely "Macintosh
184     OS X (Intel 64-bit)".
185
186     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:
187
188         sudo ln -s /Applications/Racket*/DrRacket.app /Applications/
189         ln -s /Applications/Racket*/bin/racket ~/bin/
190
191     (If you get an error about ".../bin/: No such file or directory", then you didn't follow the Preliminary instructions above.)
192
193     Then you can launch Racket either by double-clicking the DrRacket icon in
194     your Applications folder (this gives you the GUI interface); or by typing
195     `racket` in a Terminal (this gives you the command-line version).
196
197     Instead of, or in addition to, the first line above, you could drag the *DrRacket.app* icon to your Dock.
198
199 *   **To instead install Chicken Scheme on Mac without MacPorts**
200
201     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.
202
203     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.
204     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.  <!-- Type `less README` and read that file. -->
205     3. Type `make PLATFORM=macosx XCODE_DEVELOPER= XCODE_TOOL_PATH=/usr/bin PREFIX=$HOME` <!-- PREFIX defaults to /usr/local -->
206
207     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:
208
209     4. Wait a while while Chicken builds.
210     5. If it finishes with no errors, then type `make PLATFORM=macosx XCODE_TOOL_PATH=/usr/bin PREFIX=$HOME install`. This will install Chicken in your user home directory.
211     6. At this point you can type `which chicken`. It should give you an answer of "/Users/yourname/bin/chicken".
212     7. In your terminal, type `chicken-install r7rs datatype matchable monad`. <!-- with "-sudo" if you installed chicken in /usr/local --> This will download, build, and install a few extensions (Chicken calls them "eggs") relevant to ideas we'll be working with in this course.
213
214 *   **To install on Mac with MacPorts**
215
216     Unfortunately, MacPorts doesn't have Racket itself available. It only has an older version from when they still called
217     themselves PLT Scheme. And even then, it only has the command-line program "mzscheme" (what's nowadays called "racket"); it
218     doesn't have the GUI program that corresponds to what's now called "DrRacket". You can install mzscheme by opening a Terminal
219     window and typing:
220
221          sudo port install mzscheme
222
223     <!-- mzscheme v4.1.5, from March 2009; latest mzscheme is 4.2.5, from April 2010 -->
224
225     If you want the GUI components, I think you'll need to use the
226     "Mac/without MacPorts" installation options above. Or you could try the Chicken Scheme implementation instead of Racket. This is more current.
227     To do that, type:
228
229         sudo port install chicken readline
230
231     <!-- chicken v4.8.0.2, from Feb 2013; latest available is 4.9.0.1, from Nov 2014 -->
232
233     Whether you use mzscheme or Chicken, I recommend also typing:
234
235         sudo port install rlwrap
236
237     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
238     you a nice history of the commands you've already typed, which you can scroll up and down in with your
239     keyboard arrows.
240
241 *   **To install on Linux**
242
243     Use your packaging system, for example, open a Terminal and
244     type:
245
246          sudo apt-get install racket
247
248     It's very likely that your packaging system has some version of
249     Racket available, so look for it. However, if you can't find it you
250     can also install a pre-packaged binary from the Racket website at <http://racket-lang.org/download/>.
251     Choose the option for your version of Linux (Ubuntu and Debian are available).
252
253     As above, I recommend you also type:
254
255         sudo apt-get rlwrap
256
257     then if you ever use the command-line program `mzscheme` (or `racket`), you should start it by typing `rlwrap mzscheme` (or whatever). This gives
258     you a nice history of the commands you've already typed, which you can scroll up and down in with your
259     keyboard arrows.
260
261
262 <a name=ocaml></a>
263 ## Getting OCaml ##
264
265 **Caml** is one of two major dialects of *ML*, which is another large family of
266 programming languages. The other dialect is called "SML" and has several
267 implementations. But Caml has only one active implementation, OCaml or
268 Objective Caml, developed by the INRIA academic group in France.
269 Sometimes we may refer to Caml or ML
270 more generally; but you can assume that what we're talking about always works more
271 specifically in OCaml.
272
273 It's helpful if in addition to OCaml you also install the
274 Findlib add-on and/or the [OPAM](https://opam.ocaml.org) "package manager."
275 These will make it easier to install additional add-ons further down the road.
276 However, if you're not able to get them working, don't worry about it much.
277
278 The current version of OCaml is 4.02.1 (released October 2014).
279 <!-- 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 -->
280
281
282 *   In your web browser:
283
284     There is a (slow, bare-bones) version of OCaml available for online use at <http://try.ocamlpro.com/>.
285
286
287 *   **To install in Windows**
288
289     There are *five* different strategies for installing OCaml on Windows. I don't know which works best.
290
291     1.  First, you can go to <http://caml.inria.fr/download.en.html>.
292     You can probably download and install the
293     "Self installer for the port based on the MinGW toolchain"
294     even if you don't know what MinGW or Cygwin are.
295     Some features of this require Cygwin, but it looks like
296     it should mostly work even for users without Cygwin.
297     At the time of this writing, only an installer for an earlier
298     version of OCaml (4.01.0, from September 2013) is available.
299
300     2.  A second strategy uses a package called
301         [OCPWIN](http://ocaml.org/docs/install.html#OCPWINSelfContainedOCamlforWindows). This also installs only version 4.01.0.
302
303     3.  The [three remaining strategies](http://ocaml.org/docs/install.html#OCamlonCygwin) in some way
304     use the Cygwin environment, mentioned earlier on this page. At least one of
305     those three methods will automatically fetch and help you install Cygwin.
306     The first method listed on that page says it installs version 4.00.1, but
307     really it's been updated and now installs the (somewhat newer, but still
308     not the newest) version 4.01.0.
309
310     Some of these methods may automatically install Findlib for you. If not,
311     you can try installing it yourself but I think you'll need the Cygwin
312     system installed to do so. I'm not going to explain how to do this.
313     If you want to figure it out yourself, go to the
314     Findlib website at <http://projects.camlcity.org/projects/findlib.html>.
315
316 *   **To install on Mac without MacPorts**
317
318     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.
319
320     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:
321
322     1.  Download [this file](https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh) and
323     note where it gets saved to. If it opens in your browser, then type
324     command-S / Save Page and save it somewhere on your disk, again noting its
325     location.
326
327     2.  Open a terminal and type:
328
329             sh /path/to/opam_installer.sh ~/bin
330
331         Except replace `/path/to` with the real location, that you noted in step 1. When prompted "Do you want OPAM to modify ~/.bash_profile and ~/.ocamlinit?", say "y".
332
333     3.  If that works, then type:
334
335             opam init --comp 4.01.0
336
337         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.
338
339 <!-- To upgrade: opam switch 4.02.1 && eval `opam config env` -->
340
341 <!--
342 If you do have Xcode, and want to do without MacPorts, then
343 what you need to do is download Findlib from
344 <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
345 Unpack the download, open a Terminal and go into the folder you just
346 unpacked, and type:
347
348     ./configure
349     make package-macosx
350
351 This will build an installer package which you should be able to
352 double-click and install.
353 -->
354
355 *   **To install on Mac with MacPorts**
356
357     You can install the current version of OCaml (4.02.1, from October 2014),
358     together with the Findlib add-on and OPAM package manager, by opening a Terminal and typing:
359
360         sudo port install ocaml ocaml-findlib opam
361
362     As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
363     you a nice history of the commands you've already typed, which you can scroll up and down in with your
364     keyboard arrows.
365
366 *   **To install on Linux**
367
368     Use your packaging system, for example, open a Terminal and
369     type:
370
371         sudo apt-get install ocaml opam camlp4-extra ocaml-findlib
372
373     That will install a version of OCaml and the Findlib add-on and OPAM package manager.
374
375     If you're using Ubuntu "Utopic" (14.10), there's [a note on the OPAM home page](https://opam.ocaml.org/doc/Install.html)
376     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:
377
378         sudo apt-get install -y software-properties-common
379         sudo add-apt-repository -y ppa:avsm/ppa
380         sudo apt-get update
381         sudo apt-get install ocaml opam
382
383     If for some reason you can't get OCaml through your Linux packaging system, you can go to
384     <http://caml.inria.fr/download.en.html>.
385     Pre-packaged binary installers are available for several Linux systems.
386
387     If you can't get findlib through your packaging system, you'll need to download it from
388     <http://download.camlcity.org/download/findlib-1.5.5.tar.gz>.
389     and use gcc to compile it yourself. If you don't know how to do that, you probably don't want to attempt this.
390     Here are the INSTALL notes:
391     <https://godirepo.camlcity.org/svn/lib-findlib/trunk/INSTALL>.
392
393     As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
394     you a nice history of the commands you've already typed, which you can scroll up and down in with your
395     keyboard arrows.
396
397
398 <!-- More info on installing Ocaml and VMs at <http://ocaml.org/learn/teaching-ocaml.html#OCamlinstallation> -->
399
400
401 <a name=haskell></a>
402 ## Getting Haskell ##
403
404 This last installation is less crucial than the others, since we will be focusing
405 primarily on Scheme and OCaml. However we, and the readings you come across,
406 will sometimes mention Haskell, so it might be worth your installing this too,
407 so that you have it available to play around with.
408
409 Haskell is used a lot in the academic contexts we'll be working through. At one point, Scheme
410 dominated these discussions but now Haskell seems to do that.
411
412 Haskell's surface syntax differs from Caml, and there are various important things one can do in
413 each of Haskell and Caml that one can't (or can't as easily) do in the
414 other. But these languages also have *a lot* in common, and if you're
415 familiar with one of them, it's generally not hard to move between it and the
416 other.
417
418 *   In your web browser:
419
420     There is a (slow, bare-bones) version of Haskell available for online use at <http://tryhaskell.org/>.
421
422 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:
423
424 *   As mentioned, **GHC** is the main Haskell engine or compiler you'll be installing. The current version is 7.8.4, from December 2014.
425 *   **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.
426 *   **alex** and **happy** and **haddock** are names of various Haskell helper programs that GHC uses to get up and running.
427 *   **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.
428 *   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.
429
430 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**:
431
432 *   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.
433
434 On **Mac without MacPorts**:
435
436 *   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.
437
438 <!--
439 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:
440
441     mkdir ~/Library/Frameworks
442     cp -a /Library/Frameworks/GHC.framework ~/Library/Frameworks/
443     [ -d ~/Library/Haskell ] && mv ~/Library/Haskell ~/Library/Haskell.orig
444     sudo mv /Library/Haskell ~/Library/
445     sudo chown -Rh $USER:staff ~/Library/Haskell
446     mkdir -p ~/share/doc ~/share/man/man1
447     ln -s ~/Library/Frameworks/GHC.framework/Versions/Current/usr/share/doc/ghc ~/share/doc/
448     ln -s ~/Library/Frameworks/GHC.framework/Versions/Current/usr/share/man/man1/ghc.1 ~/share/man/man1/
449     sudo rm -r /usr/share/doc/ghc /usr/share/man/man1/ghc.1 /Library/Frameworks/GHC.framework
450     for f in ghc ghc-7.8.3 ghc-pkg ghc-pkg-7.8.3 ghci ghci-7.8.3 haddock haddock-ghc-7.8.3 hp2ps hpc hsc2hs runghc runghc-7.8.3 runhaskell; do
451       ln -s ~/Library/Frameworks/GHC.framework/Versions/7.8.3-*/usr/bin/$f ~/bin/
452       sudo rm /usr/bin/$f
453     done
454     for f in activate-hs alex cabal cabal.real cabal.wrap ghc-clang-wrapper happy HsColour uninstall-hs; do
455       ln -s /Library/Haskell/ghc-7.8.3-*/bin/$f ~/bin/
456       sudo rm /usr/bin/$f
457     done
458     sed -i "" "s=/Library=$HOME/Library=g" $(fgrep -RIl /Library ~/Library/Haskell ~/Library/Frameworks/GHC.framework | fgrep -v .html)
459
460 # Ehh. Doesn't work...
461 -->
462
463 On **Mac with MacPorts**:
464
465 *   In a Terminal, type `sudo port install haskell-platform`.
466
467 On **Ubuntu or Debian Linux**:
468
469 *   In a Terminal, type `sudo apt-get install haskell-platform`.
470
471
472 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.
473
474 **After installing Haskell**, open a Terminal and type:
475
476     cabal update
477
478 It may give you a message about updating your `PATH` variable. On my Mac, I was prompted to do this:
479
480     echo 'export PATH="$HOME/Library/Haskell/bin:$PATH"' >> ~/.bash_profile
481
482 On a Linux machine, or if you installed Haskell differently on your Mac, you might have to type instead:
483
484     echo 'export PATH="$HOME/.cabal/bin:$PATH"' >> ~/.bash_profile
485
486 Some instructions may say to use `.bashrc` instead of `.bash_profile`. These files do similar jobs.
487
488 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:
489
490     which alex happy
491
492 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:
493
494     cabal install alex happy
495
496 This installs those two programs. They are helpers that Cabal needs to build and install some packages.
497
498 <!-- https://github.com/pittsburgh-haskell/haskell-installation -->
499