Racket allows programmers to add new syntactic constructs in the same way that other languages permit the formulation of procedures, methods, or classes. All you need to do is …

Running raco docs (or Racket Documentation on Windows or Mac OS) may open a different page with local and user-specific documentation, including documentation for installed packages.

Chapter 2 provides a brief introduction to Racket. From Chapter 3 on, this guide dives into details— covering much of the Racket toolbox, but leaving precise details to The Racket …

The Racket Guide starts with a tutorial on Racket basics, and then it describes the rest of the Racket language. Of course, you should feel free to mix and match the above two tracks, …

The distribution includes pre-built, platform-independent bytecode; it installs much faster than plain source, and it is also compatible with fast installs of additional Racket packages.

Nov 23, 2025 · With the version 9.0 release, Racket includes support for shared-memory threads that can take advantage of multicore hardware and operating-systems threads to run in …

“Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more. To verify or synthesize code, Rosette compiles it …

In Racket, you can use a lambda expression to produce a function directly. The lambda form is followed by identifiers for the function’s arguments, and then the function’s body expressions:

Racket’s and and or are syntactic forms, rather than functions. Unlike a function, the and and or forms can skip evaluation of later expressions if an earlier one determines the answer.

At the same time, instead of having to say “PLT's main variant of Scheme,” programmers can now simply say “Racket” to refer to the specific descendant of Scheme that powers PLT's …