[racket] typed scheme require question

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Tue Aug 17 13:15:48 EDT 2010

At Tue, 17 Aug 2010 13:03:49 -0400,
Danny Yoo wrote:
> I'm guessing that the type-checker has some hardcoded notion of the
> types for racket/list functions.  Is this true?

Typed Racket provides typed bindings for most of the "racket"
language. You can, as you did, require racket/X and this will import
the typed bindings.


Posted on the users mailing list.