[racket-dev] optimizations on types in TR

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Oct 29 11:17:58 EDT 2012

Yes. TR communicates some type information to the backend (Racket) so that, for examples, operations are type-specialized when appropriate. It also unpacks Complexs in loops. 

Descriptions in decreasing order of relevance: 
  Optimization Coaching 

  Typing the Numeric Tower 

  Languages as Libraries 

On Oct 29, 2012, at 12:45 PM, Dmitry.Cherkassov.dcherkassov at gmail.com wrote:

> Can type information from Typed Racket be used for runtime type
> optimization.
> -- 
> With best regards,
> Dmitry
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20121029/cf71c683/attachment.p7s>

Posted on the dev mailing list.