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	384	November 3, 2023
Pre-release: Shallow and Optional Types Announcements	6	473	September 16, 2022
How to speed up array indexing from untyped Racket General	11	462	July 16, 2022
Typed Racket guidelines Questions & Answers typed-racket	9	232	March 20, 2024
Suggestions on refactoring codes using Typed Racket Questions & Answers typed-racket	11	209	June 8, 2024

Performance optimizations (by Typed Racket, or otherwise)

Related topics