[racket-dev] (round), etc. in Typed Racket

On Sunday, December 12, 2010, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
> All of this discussion suggests that we start developing RacketII, a language that is a true break from Scheme. Our backward compatibility constraints are just overwhelming our knowledge of what we know is 'bad' with Racket in relation to other languages.
>
> Perhaps TR is the proper place to start such a 'clean-break' movement.

That sounds like a good thought to me, but I'd hate to have to port to
a new language to be able to get type checking.

Robby

> -- Matthias
>
>