Typed Racket: Racket with Static Types
Typed Racket is a family of languages, each of which enforce that programs written in the language obey a type system that ensures the absence of many common errors. This guide is intended for programmers familiar with Racket. For an introduction to Racket, see the Guide: Racket.
4.8 Variable-Arity Functions: Programming with Rest Arguments