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
smime.p7s
Description: S/MIME cryptographic signature
_________________________ Racket Developers list: http://lists.racket-lang.org/dev