>
> Ben Greenman
> - types for immutable data (fae58e140dc35f0fb144081ffd9c3798db4e19cf @
> typed-racket)
>
* Typed Racket has types for immutable, mutable, and weak hashtables; in
other words the type
`(HashTable K V)` is a union `(U (Immutable-HashTable K V)
(Mutable-HashTable K V)
(Weak-HashTable K V))`. Standard library functions may have more
specific return types.
For example, `hash-set` has type `(-> (HashTable K V) K V
(Immutable-HashTable K V))`.
When an immutable hashtable flows from untyped code to typed code, Typed
Racket
may use a flat contract to verify its type (provided the table's key and
value types are flat).
--
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/CAFUu9R7WEvouoct_j3S9vuxRHrVg4%3Dcjzrmd8TC6Sf%2B%2Bpd__yg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
