1 ## Identifying your system ##
3 We'll assume you're using either Mac OS X, or Windows, or Linux.
4 If you're running **iOS**, you'll have a much harder time (perhaps impossible,
5 perhaps not) getting this software to run on your machine, and we can't give
8 If you're using **Mac OS X**, take note of what version of the Mac OS you're
9 running. (Under the Apple Menu, select "About this Mac".)
14 * Mountain Lion (10.8)
18 Furthermore, Mac users will be in one of two subgroups:
20 * You'll have Apple's Xcode and the independent MacPorts system
21 installed. (Probably you don't. If you don't know what I'm talking about, you don't have these.)
23 If you don't have these, but want to try this route, you can read about
24 the MacPorts system at <http://www.macports.org/>.
25 This automates the building of Unix-type software on your Mac; it
26 makes it a lot easier to check for dependencies, use more-recent
27 versions of things, and so on. (Though as it happens, MacPorts only has an older version of
28 our chosen implementation of Scheme.)
30 There are also other package management systems available for the Mac, notably Homebrew and Fink. I only know a little bit about them.
32 There are instructions about how to get Xcode on the [Installing MacPorts](https://www.macports.org/install.php) page.
33 Some versions of [Xcode](http://developer.apple.com/xcode.html) are available for free on the Mac App Store.
34 Other versions are available through Apple's Developer website (some of these are free, but do require you to
35 register with Apple as an "Apple Developer", which involves clicking to accept a legal agreement with Apple).
36 I have an older version of this installed. If you download a recent version, email me and let me know how the
37 process works so I can tell others.
39 The latest version of Xcode to work with 10.5 / Leopard is 3.14; more recent versions (>= 3.2) require 10.6 / Snow Leopard.
40 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.)
41 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?
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.
51 If you're using **Windows**, you'll be in one of two subgroups:
53 * You'll have the Cygwin system <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.
59 * You won't have Cygwin installed. (**Most Windows users will be in this group.**)
60 You might in theory have a different group of compilers installed
61 (MinGW, or Microsoft Visual C++) but we'll assume that the overwhelming
62 majority of users in this group don't have access to a compiler and
63 need pre-packaged installers for everything.
66 If you're using **Linux**, you could be using any one of numerous packaging
69 * We'll give examples using the packaging system shared by Debian and Ubuntu,
70 and we'll assume that those of you using different packaging systems will know
71 how to make the relevant substitutions.
74 **For everyone**, a general item to take note of is what "processor architecture" your machine is running. Three of the possibilities are:
76 * One of Intel's i386, i486, i586, i686 architectures. These are collectively known as "x86" or "IA-32" or sometimes just "32-bit".
77 * 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.)
78 * 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.
80 On Linux or Mac OS X, you can open a terminal and type `uname -m`. If the
81 result is "x86\_64", then you've got x64/64-bit. If it's "i386" or something
82 like that, then you've got x86/32-bit. I think that Mac OS Xs from 10.7 / Lion
83 forward have all been x86\_64-only.
86 [here is a page that can help you figure this out](http://windows.microsoft.com/en-us/windows/32-bit-and-64-bit-windows).
87 I think that most machines running Windows XP will be x86/32-bit (unless it's
88 a version of Windows with "64-bit" or "x64" in its title); machines running
89 Windows Vista or Windows 7 or Windows 8 could be running either x86/32-bit or
93 ## PLEASE REPORT PROBLEMS (AND SOLUTIONS!) ##
95 We haven't tested these instructions ourselves, and they're not explicit
96 step-by-step instructions in any case. If you encounter troubles, please email
97 to let us know so that we can amend the instructions to help others. If you
98 figure out how to fix the problem youself (and please do), please also write
99 with suggestions how we can change these instructions to make the process
100 easier and more straightforward for others.
105 **Scheme** is one of two or three major dialects of *Lisp*, which is a large family
106 of programming languages. The other dialects are called "Common Lisp" and "Clojure".
107 Scheme is the more clean and minimalist dialect, and is what's mostly used in
110 * In your web browser:
112 There is a (slow, bare-bones) version of Scheme available for online use at <http://tryscheme.sourceforge.net/>.
114 Scheme itself has umpteen different "implementations", which share most of
115 their fundamentals, but have slightly different extensions and interact with
116 the operating system differently. One major implementation is called Racket,
117 and that is what we recommend you use. (A few years back they were called PLT Scheme, but then
118 they changed their name to Racket.)
119 If you're already using or comfortable with
120 another Scheme implementation, though, there's no compelling reason to switch.
122 If for some reason you have problems with Racket, other implementations you could
124 [Chicken](http://www.call-cc.org),
125 [Gauche](http://practical-scheme.net/gauche),
126 or [Chibi](https://code.google.com/p/chibi-scheme). The later in that list you go, the more likely it
127 is that you'll have to compile the software yourself. (Thus Mac users will need Xcode.)
129 Racket stands to Scheme in something like the relation Firefox stands to HTML. It's one program (or platform) 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.
131 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.
132 <!-- "racket" used to be mzscheme, "DrRacket" used to be DrScheme -->
134 The current version of Racket is 6.1.1 (released November 2014).
136 * **To install in Windows**
138 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.)
140 * **To install on Mac without MacPorts**
142 Go to <http://racket-lang.org/download/>. Download and install the option for your system, most likely "Macintosh
143 OS X (Intel 64-bit)".
145 * **To install on Mac with MacPorts**
147 Unfortunately, MacPorts doesn't have Racket itself available. It only has an older version from when they still called
148 themselves PLT Scheme. And even then, it only has the command-line program "mzscheme" (what's nowadays called "racket"); it
149 doesn't have the GUI program that corresponds to what's now called "DrRacket". You can install mzscheme by opening a Terminal
152 sudo port install mzscheme
154 <!-- mzscheme v4.1.5, from March 2009; latest mzscheme is 4.2.5, from April 2010 -->
156 If you want the GUI components, I think you'll need to use the
157 "Mac/without MacPorts" installation options above. Or you could try the Chicken Scheme implementation instead of Racket. This is more current.
160 sudo port install chicken readline
162 <!-- chicken v4.8.0.2, from Feb 2013; latest available is 4.9.0.1, from Nov 2014 -->
164 Whether you use mzscheme or Chicken, I recommend also typing:
166 sudo port install rlwrap
168 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
169 you a nice history of the commands you've already typed, which you can scroll up and down in with your
172 * **To install on Linux**
174 Use your packaging system, for example, open a Terminal and
177 sudo apt-get install racket
179 It's very likely that your packaging system has some version of
180 Racket available, so look for it. However, if you can't find it you
181 can also install a pre-packaged binary from the Racket website at <http://racket-lang.org/download/>.
182 Choose the option for your version of Linux (Ubuntu and Debian are available).
184 As above, I recommend you also type:
188 then if you ever use the command-line program `mzscheme` (or `racket`), you should start it by typing `rlwrap mzscheme` (or whatever). This gives
189 you a nice history of the commands you've already typed, which you can scroll up and down in with your
195 **Caml** is one of two major dialects of *ML*, which is another large family of
196 programming languages. The other dialect is called "SML" and has several
197 implementations. But Caml has only one active implementation, OCaml or
198 Objective Caml, developed by the INRIA academic group in France.
199 Sometimes we may refer to Caml or ML
200 more generally; but you can assume that what we're talking about always works more
201 specifically in OCaml.
203 It's helpful if in addition to OCaml you also install the Findlib add-on.
204 This will make it easier to install additional add-ons further down the road.
205 However, if you're not able to get that working, don't worry about it much.
207 The current version of OCaml is 4.02.1 (released October 2014).
209 Another instruction page focuses on [OPAM](http://ocaml.org/docs/install.html), also [this](https://opam.ocaml.org).
211 * In your web browser:
213 There is a (slow, bare-bones) version of OCaml available for online use at <http://try.ocamlpro.com/>.
215 * **To install in Windows**
217 Go to <http://caml.inria.fr/download.en.html>.
218 You can probably download and install the
219 "Self installer for the port based on the MinGW toolchain"
220 even if you don't know what MinGW or Cygwin are.
221 Some features of this require Cygwin, but it looks like
222 it should mostly work even for users without Cygwin.
223 At the time of this writing, only an installer for the previous
224 version of OCaml (3.11.0, from January 2010) is available.
226 To install the Findlib add-on, you must have the
227 Cygwin system installed. We assume few of you do,
228 so we're not going to try to explain how to do this.
229 If you want to figure it out yourself, go to the
230 Findlib website at <http://projects.camlcity.org/projects/findlib.html>.
232 * **To install on Mac without MacPorts**
234 To install OCaml 3.12 (just released this summer), go to
235 <http://caml.inria.fr/download.en.html>
236 and download and install the "Binary distribution for Mac OS X"
238 To install the Findlib add-on, you'll need the Xcode development tools
239 to compile it yourself. Once you get that far, it's probably easiest
240 for you to install MacPorts and just install things using the MacPorts
241 instructions. (Use the MacPorts version of OCaml, instead of installing
242 the package from the caml.inria.fr website, as described above)
243 However, if you do have Xcode, and want to do without MacPorts, then
244 what you need to do is download Findlib from
245 <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
246 Unpack the download, open a Terminal and go into the folder you just
252 This will build an installer package which you should be able to
253 double-click and install.
255 * **To install on Mac with MacPorts**
257 You can install the previous version of OCaml (3.11.2,
258 from January 2010), together with the Findlib add-on, by opening a Terminal
261 sudo port install ocaml caml-findlib
263 As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
264 you a nice history of the commands you've already typed, which you can scroll up and down in with your
267 * [More details about installing OCaml on Macs, if needed](http://cocan.org/getting_started_with_ocaml_on_mac_os_x)
269 * **To install on Linux**
271 Use your packaging system, for example, open a Terminal and
274 sudo apt-get install ocaml ocaml-findlib
276 That will install a version of OCaml and the Findlib add-on.
278 If for some reason you can't get OCaml through your
279 packaging system, you can go to
280 <http://caml.inria.fr/download.en.html>.
281 Pre-packaged binary installers are available for several Linux systems.
283 If you can't get findlib through your packaging system, you'll
284 need to download it from
285 <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
286 and use gcc to compile it yourself. If you don't know how to
287 do that, you probably don't want to attempt this.
288 Here are the INSTALL notes:
289 <https://godirepo.camlcity.org/svn/lib-findlib/trunk/INSTALL>.
291 As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
292 you a nice history of the commands you've already typed, which you can scroll up and down in with your
296 ## Getting Haskell ##
298 This last step is less crucial than the others, since we will be focusing
299 primarily on Scheme and OCaml. However we, and the readings you come across,
300 will sometimes mention Haskell, so it might be worth your installing this too,
301 so that you have it available to play around with.
303 Haskell is used a lot in the academic contexts we'll be working through. At one point, Scheme
304 dominated these discussions but now Haskell seems to do that.
306 Haskell's surface syntax differs from Caml, and there are various important things one can do in
307 each of Haskell and Caml that one can't (or can't as easily) do in the
308 other. But these languages also have *a lot* in common, and if you're
309 familiar with one of them, it's generally not hard to move between it and the
312 * In your web browser:
314 There is a (slow, bare-bones) version of Haskell available for online use at <http://tryhaskell.org/>.
316 sudo apk-get install haskell-platform
318 <https://github.com/pittsburgh-haskell/haskell-installation>
320 <https://www.haskell.org/platform>
322 Getting started: <https://wiki.haskell.org/Haskell_in_5_steps>