* [[!wikipedia Referential transparency (computer science)]]
* [[!wikipedia Imperative programming]]
-## Scheme and OCaml ##
-
-* [An Introduction to Lambda Calculus and Scheme](http://www.jetcafe.org/~jim/lambda.html) -- aimed at programmers
-* [[!wikipedia Scheme (programming language)]]
-* [[!wikipedia Objective Caml]]
-
## Untyped lambda calculus and combinatory logic ##
* [[!wikipedia Lambda calculus]]
* If you're already a programmer and you're in more of a hurry, you could instead look at the [Quick Introduction to Racket](http://docs.racket-lang.org/quick/index.html). This tutorial provides a brief introduction to the Racket programming language by using DrRacket and one of Racket's picture-drawing libraries.
-* After either of the preceding, you could move on to [Racket Guide](http://docs.racket-lang.org/guide/index.html). This starts with a tutorial on Racket basics; then it describes the rest of the Racket language. This guide is intended for programmers who are new to Racket or new to some part of Racket. It assumes programming experience, so if you are new to programming, you should instead start with one of the textbooks listed above. This Guide describes parts of the Racket language which go beyond the learning-oriented fragments of How to Design Programs.
+* [An Introduction to Lambda Calculus and Scheme](http://www.jetcafe.org/~jim/lambda.html) is also aimed at programmers.
+
+* After any of the preceding, you could move on to [Racket Guide](http://docs.racket-lang.org/guide/index.html). This starts with a tutorial on Racket basics; then it describes the rest of the Racket language. This guide is intended for programmers who are new to Racket or new to some part of Racket. It assumes programming experience, so if you are new to programming, you should instead start with one of the textbooks listed above. This Guide describes parts of the Racket language which go beyond the learning-oriented fragments of How to Design Programs.
* The [Complete Racket Reference Manual](http://docs.racket-lang.org/reference/index.html) defines the core Racket language and describes its most prominent libraries. The Racket Guide is friendlier; though less precise and less complete.
* The Scheme language is standardized; the various implementations of the
-language usually adhere to what's published in the current standard and on
+language usually adhere to what's published in the current standard and add on
different handy extensions. The first standard was published in 1975. A
revision was published in 1978 called "The revised report on Scheme, a
dialect of Lisp." Thereafter, revisions of the standard were titled "The
* [Scheme FAQ](http://community.schemewiki.org/?scheme-faq)
-* The [Schematics Scheme Cookbook](http://schemecookbook.org/) is a collaborative effort to produce documentation and recipes for using Scheme for common tasks.
-
* [Scheme Requests for Implementation](http://srfi.schemers.org/) (SRFI)
+* The [Schematics Scheme Cookbook](http://schemecookbook.org/) is a collaborative effort to produce documentation and recipes for using Scheme for common tasks.
+
## Types ##
* [[!wikipedia Type polymorphism]]
* [[!wikipedia System F]]
+## Learning OCaml ##
+
+* [[!wikipedia Objective Caml]]
+
## Side-effects / mutation ##
* [[!wikipedia Side effect (computer science)]]