[racket] Typed racket in DrRacket

From: J. Ian Johnson (ianj at ccs.neu.edu)
Date: Mon Oct 22 23:18:25 EDT 2012

Sam and Vincent have been working on lowering the load time for Typed Racket, and have done a great job over the past year. As I understand it, there is however a massive overhead from building the initial environment, because it cannot be serialized at the time that Typed Racket itself is built.
----- Original Message -----
From: "Harry Spier" <vasishtha.spier at gmail.com>
To: "users" <users at racket-lang.org>
Sent: Monday, October 22, 2012 10:39:03 PM GMT -05:00 US/Canada Eastern
Subject: [racket] Typed racket in DrRacket

When I run the simplest possible racket program in DrRacket definitions window

#lang racket

the result 1 and the prompt appear instantaneously in the interactions window,
but when I change this to typed racket

#lang typed/racket

it takces two seconds before the result 1 and the prompt are displayed
in the interactions window
#lang typed/racket
(time 1)

gives the expected result of:
cpu time: 0 real time: 0 gc time: 0

but this still takes two seconds to appear in the interactions window.

Why with a simple program like this does the result take so much
longer for typed racket compared to racket  to be displayed in the
interactions window.

Harry Spier
  Racket Users list:

Posted on the users mailing list.