[racket] typed racket and new racket languages?

From: Raoul Duke (raould at gmail.com)
Date: Fri Jun 17 16:19:39 EDT 2011

On Thu, Jun 16, 2011 at 6:17 PM, Richard Lawrence
<richard.lawrence at berkeley.edu> wrote:
>> tho i read that even if there are ways to use it, there be dragons in
>> terms of getting the new language just right wrt type enforcement.
> Where did you read this?

possibly misunderstood the intention behind:


"To summarize, the creation of a safe language demands a lot of
attention from the language designer. First, it demands a thorough
understanding of the invariants that a language should come with.
Second, it calls for a prediction as to where modules in this language
will be used so that the language can be equipped with mechanism that
enforces the invariants in all contexts. Providing support for the
creation of such enforcement mechanisms is one of the research themes
of PLT."

Posted on the users mailing list.