That is what I meant to be asking for. I put too much of what I guess would be a good approach into my messages, tho. Sorry about that.<div><br></div><div>Robby</div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Mon, Dec 17, 2012 at 5:44 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Okay. I propose we figure out how to allow people programming in Typed Racket,<br>
and deploy two copies of the code without performance overhead for either T or U<br>
code.<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
_________________________<br>
  Racket Developers list:<br>
  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div>