[racket-dev] optimizations on types in TR

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 
  http://www.ccs.neu.edu/racket/pubs/#oopsla12-stf

  Typing the Numeric Tower 
  http://www.ccs.neu.edu/racket/pubs/#padl12-stff

  Languages as Libraries 
  http://www.ccs.neu.edu/racket/pubs/#pldi11-thacff


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>