In the Racket Slack someone asked whether the optimizations by Typed Racket can be done from standard Racket. The answer was "yes", since Typed Racket is just a library. :slight_smile: This made me curious. What kind of optimizations does Typed Racket do? And what can I do manually, when not using…

The main optimizations TR does involve turning generic operations into unsafe ones when it can prove that it's safe to do so. There's a few other small ones, like (the moral equivalent of) adding in-list and co to for loops which are missing them (which eventually results in unsafe operations as we…

Performance optimizations (by Typed Racket, or otherwise)

Questions & Answers

sschwarzer December 4, 2021, 12:41pm 2

After @soegaard helped me rediscover the Racket wiki, I can add

1 Like

Topic		Replies	Views
Why does Typed Racket run faster when `#:no-optimize`? Questions & Answers question , performance	3	392	November 3, 2023
Pre-release: Shallow and Optional Types Announcements	6	481	September 16, 2022
How to speed up array indexing from untyped Racket General	11	466	July 16, 2022
Typed racket production quality? General	2	278	January 4, 2022
Managing `cast` performance penalty Questions & Answers question , typed-racket	26	995	June 14, 2022

Performance optimizations (by Typed Racket, or otherwise)

Related topics