typed-racket

typed-racket copied to clipboard

Typed Racket pretends mutable sets don't exist, and yet it assumes all hashtables could be mutable

12

Typed Racket only provides types for immutable set operations. It would be painless to add types for mutable operations as well, but TR also considers `Setof` types to be covariant,...

lexi-lambda

**What version of Racket are you using?** 8.14 [cs] **What program did you run?** 1. Using `Values` in the return type of `let`: ```racket Welcome to Racket v8.14 [cs]. >...

NoahStoryM