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	332	November 3, 2023
Suggestions on refactoring codes using Typed Racket Questions & Answers typed-racket	11	200	June 8, 2024
Where to start with optimizing Racket programs? Questions & Answers	25	506	January 9, 2024
Is there plans for improving the performance of the generated code from the racket compiler? Internals question	16	808	May 28, 2024
Is it possible to unsafely assume sub-types in Typed Racket? Questions & Answers question , typed-racket , unsafe	1	260	July 11, 2022

Performance optimizations (by Typed Racket, or otherwise)

Related Topics