Posts tagged Typed Racket

Some Changes in Typed Racket v6.8

:: Typed Racket, Performance

The more things change, the more they stay the same… at least for these updates! =)

TL;DR Typed Racket has a whole bunch of new parts under the hood for v6.8—hopefully as a user you can’t tell (unless of course it’s because your program type checks faster)!

If you’re a little curious about “how the sausage is made” (or what new ingredients they contain…?) read on!

Let-aliasing in Typed Racket

:: Typed Racket

Although Typed Racket (TR) can currently typecheck a large number of common idioms found in Racket code, reasoning about direct and indirect usages of aliasing has escaped its grasp... until now!