>
> 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 racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
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.
