formatting
[lambda.git] / how_to_get_the_programming_languages_running_on_your_computer.mdwn
1 ## Identifying your system ##
2
3 We'll assume you're using either Mac OS X, or Windows, or Linux.
4
5 If you're using **Mac OS X**, take note of what version of the Mac OS you're
6 running. (Under the Apple Menu, select "About this Mac".)
7
8 *    Leopard (10.5)
9 *    Snow Leopard (10.6)
10 *    Lion (10.7)
11 *    Mountain Lion (10.8)
12 *    Mavericks (10.9)
13 *    Yosemite (10.10)
14
15 If you're running **iOS**, you probably can't use this software on that machine. (A bit more below.)
16
17 Furthermore, you'll be in one of two subgroups:
18
19 *       You'll have Apple's Xcode and the independent MacPorts system
20         installed. (Probably you don't. If you don't know what I'm talking about, you don't have these.)
21
22         If you don't have these, but want to try this route, you can read about
23         the MacPorts system at <http://www.macports.org/>.
24         This automates the building of Unix-type software on your Mac; it
25         makes it a lot easier to check for dependencies, use more-recent
26         versions of things, and so on. (Though as it happens, MacPorts only has an older version of
27         our chosen implementation of Scheme.)
28
29         Xcode is available at
30         <http://developer.apple.com/technologies/tools/xcode.html>. Some
31         versions of this have been available for free, though you do have to
32         register with Apple as an "Apple Developer", which involves accepting a
33         legal agreement with Apple. I have an older version of this installed.
34         If you download a recent version, email me and let me know how the
35         process works so I can tell others. There are instructions about how to
36         get Xcode in the MacPorts installation guide.
37         <!--
38         The latest version of Xcode to work with Leopard is 3.14; more
39         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.)
40         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?
41         -->
42
43
44 *       Or you won't have those installed. (**Most Mac users will be in this group.**)
45         Then you'll need pre-packaged (and usually pretty GUI) installers for
46         everything. These are great when they're available and kept up-to-date;
47         however sometimes those conditions aren't met.
48
49
50 If you're using **Windows**, you'll be in one of two subgroups:
51
52 *       You'll have the Cygwin system
53         <http://www.cygwin.com/> installed.
54         This puts a Unix-like layer on top of your Windows system,
55         and makes it easier for you to use the same software everybody
56         else will be using, without its needing as much special-for-Windows
57         treatment. However, many of you won't have this installed.
58
59 *       You won't have Cygwin installed. You might in theory have
60         a different group of compilers installed (Microsoft Visual C++) but
61         we'll assume that the overwhelming majority of users in this group
62         don't have access to a compiler and need pre-packaged installers
63         for everything.
64
65 If you're using **Linux**, you could be using any one of numerous packaging
66 systems.
67
68 *       We'll give examples using the packaging system shared by Debian and Ubuntu,
69         and we'll assume that those of you using different packaging systems will know
70         how to make the relevant substitutions. You may also want to take note of the
71         output of the "uname -srm" command. On my machine this tells me "Linux
72         3.12.8-extrastuff x86\_64". That tells me I'm running the x86\_64 (as opposed to the
73         i686 or i386 or whatever) version of Linux, and that I'm running kernel
74         version 3.12.8.
75
76 **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:
77
78 *   One of Intel's i386, i486, i586, i686 architectures. These are collectively known as "x86" or "IA-32" or sometimes just "32-bit".
79 *   Intel or AMD's x86\_64 architecture. This is sometimes also called "x64" or "amd64" or "IA-64" or sometimes just "64-bit".
80 *   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.
81
82 In the Linux example above, I could tell my machine is running x86 because the
83 result of the `uname` command said "i386" at the end. Another machine I have
84 says "x86\_64" at the end. On a Mac, you can also say `uname -m` in a Terminal
85 session, and it will say something like "i386". I think that Mac OS's from Lion
86 / 10.7 forward have all been x86\_64-only. On Windows, I don't know how to
87 collect this information. But generally, machines running Windows XP will
88 probably be i386/32-bit (unless it's a version of Windows with "64-bit" or
89 "x64" in its title); machines running Windows Vista or Windows 7 or Windows 8
90 could be running either x86/32-bit or x64/64-bit.
91 (Update: I found
92 [this Microsoft page](http://windows.microsoft.com/en-us/windows/32-bit-and-64-bit-windows)
93 that may help.)
94
95
96 ## PLEASE REPORT PROBLEMS (AND SOLUTIONS!) ##
97
98 We haven't tested these instructions ourselves, and they're not explicit
99 step-by-step instructions in any case. If you encounter troubles, please email
100 to let us know so that we can amend the instructions to help others. If you
101 figure out how to fix the problem youself (and please do), please also write
102 with suggestions how we can change these instructions to make the process
103 easier and more straightforward for others.
104
105
106 ## Getting Scheme ##
107
108 **Scheme** is one of two major dialects of *Lisp*, which is a large family of
109 programming languages. The other dialect is called "Common Lisp." Scheme is the
110 more clean and minimalistic dialect, and is what's mostly used in academic
111 circles.
112
113 Scheme itself has umpteen different "implementations", which share most of
114 their fundamentals, but have slightly different extensions and interact with
115 the operating system differently. One major implementation used to be called
116 PLT Scheme, but then a few years ago changed their name to Racket.
117 This is what we recommend you use. (If you're already using or comfortable with
118 another Scheme implementation, though, there's no compelling reason to switch.)
119
120 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.
121
122 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.
123
124 <!-- racket used to be mzscheme, DrRacket used to be DrScheme -->
125
126 *       In your web browser:
127
128         There is a (slow, bare-bones) version of Scheme available for online use at <http://tryscheme.sourceforge.net/>.
129
130
131 *       **To install in Windows**
132
133         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.)
134
135 *       **To install on Mac without MacPorts**
136
137         Go to <http://racket-lang.org/download/>. Download and install the option for your system, most likely "Macintosh
138         OS X (Intel 64-bit)".
139
140 *       **To install on Mac with MacPorts**
141
142         You can install a command-line version of
143         PLT Scheme (dating from early 2009) by opening a Terminal
144         and typing:
145
146                  sudo port install mzscheme
147
148         If you want the GUI components, I think you'll need to use the
149         "Mac/without MacPorts" installation options above.
150
151         I recommend also typing:
152
153                 sudo port install rlwrap
154
155         then if you ever use the command-line program `mzscheme` (or `racket`), you should start it by typing `rlwrap mzscheme`. This gives
156         you a nice history of the commands you've already typed, which you can scroll up and down in with your
157         keyboard arrows.
158
159 *       **To install on Linux**
160
161         Use your packaging system, for example, open a Terminal and
162         type:
163
164                  sudo apt-get install racket
165
166         It's very likely that your packaging system has some version of
167         Racket available, so look for it. However, if you can't find it you
168         can also install a pre-packaged binary from the Racket website at <http://racket-lang.org/download/>.
169         Choose the option for your version of Linux (Ubuntu and Debian are available).
170
171         As above, I recommend you also type:
172
173                 sudo apt-get rlwrap
174
175         then if you ever use the command-line program `mzscheme` (or `racket`), you should start it by typing `rlwrap mzscheme`. This gives
176         you a nice history of the commands you've already typed, which you can scroll up and down in with your
177         keyboard arrows.
178
179
180 ## Getting OCaml ##
181
182 **Caml** is one of two major dialects of *ML*, which is another large family of
183 programming languages. The other dialect is called "SML" and has several
184 implementations. But Caml has only one active implementation, OCaml or
185 Objective Caml, developed by the INRIA academic group in France.
186
187
188 *Will add more information about this soon.*
189
190 <!--
191
192 It's helpful if in addition to OCaml you also install the Findlib add-on.
193 This will make it easier to install additional add-ons further down the road.
194 However, if you're not able to get that working, don't worry about it much.
195
196
197 *       **To install in Windows**
198
199         Go to <http://caml.inria.fr/download.en.html>.
200         You can probably download and install the
201         "Self installer for the port based on the MinGW toolchain"
202         even if you don't know what MinGW or Cygwin are.
203         Some features of this require Cygwin, but it looks like
204         it should mostly work even for users without Cygwin.
205         At the time of this writing, only an installer for the previous
206         version of OCaml (3.11.0, from January 2010) is available.
207
208         To install the Findlib add-on, you must have the
209         Cygwin system installed. We assume few of you do,
210         so we're not going to try to explain how to do this.
211         If you want to figure it out yourself, go to the
212         Findlib website at <http://projects.camlcity.org/projects/findlib.html>.
213
214 *       **To install on Mac without MacPorts**
215
216         To install OCaml 3.12 (just released this summer), go to
217         <http://caml.inria.fr/download.en.html>
218         and download and install the "Binary distribution for Mac OS X"
219
220         To install the Findlib add-on, you'll need the Xcode development tools
221         to compile it yourself. Once you get that far, it's probably easiest
222         for you to install MacPorts and just install things using the MacPorts
223         instructions. (Use the MacPorts version of OCaml, instead of installing
224         the package from the caml.inria.fr website, as described above)
225         However, if you do have Xcode, and want to do without MacPorts, then
226         what you need to do is download Findlib from
227         <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
228         Unpack the download, open a Terminal and go into the folder you just
229         unpacked, and type:
230
231                 ./configure
232                 make package-macosx
233
234         This will build an installer package which you should be able to
235         double-click and install.
236
237 *       **To install on Mac with MacPorts**
238
239         You can install the previous version of OCaml (3.11.2,
240         from January 2010), together with the Findlib add-on, by opening a Terminal
241         and typing:
242
243                 sudo port install ocaml caml-findlib
244
245         As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
246         you a nice history of the commands you've already typed, which you can scroll up and down in with your
247         keyboard arrows.
248         
249
250 *       [More details about installing OCaml on Macs, if needed](http://cocan.org/getting_started_with_ocaml_on_mac_os_x)
251
252 *       **To install on Linux**
253
254         Use your packaging system, for example, open a Terminal and
255         type:
256
257                 sudo apt-get install ocaml ocaml-findlib
258
259         That will install a version of OCaml (probably 3.11.2, from January 2010)
260         and the Findlib add-on.
261
262         If for some reason you can't get OCaml through your
263         packaging system, you can go to
264         <http://caml.inria.fr/download.en.html>.
265         Pre-packaged binary installers are available for several Linux systems.
266
267         If you can't get findlib through your packaging system, you'll
268         need to download it from
269         <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
270         and use gcc to compile it yourself. If you don't know how to
271         do that, you probably don't want to attempt this.
272         Here are the INSTALL notes:
273         <https://godirepo.camlcity.org/svn/lib-findlib/trunk/INSTALL>.
274
275         As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
276         you a nice history of the commands you've already typed, which you can scroll up and down in with your
277         keyboard arrows.
278
279 -->