> Ben Greenman > - types for mutable and immutable vectors: > 88e9a01426d20f3421cd797ac2f23e41b75058d6 @ typed-racket
Typed Racket adds types for mutable and immutable vectors: `(Mutable-Vectorof T)`, `(Immutable-Vectorof T)`, `(Immutable-Vector T)`, and `(Mutable-Vector T)`. The new types are subtypes of the existing `Vectorof` and `Vector` types. The return types of a few standard vector functions use the new, more specific, types. When an immutable vector flows from untyped code to typed code, Typed Racket may be able to check the vector with a flat contract. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAFUu9R6KA8Ku%2B23%3Ds8D9bFo0C6Xo6k6O_i7HnV07O3WYV2M%3DYA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
