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.dcherkas...@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

Attachment: smime.p7s
Description: S/MIME cryptographic signature

_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to