typed mutable fields in structures.
21 views
Skip to first unread message
Hendrik Boom
Apr 11, 2020, 10:17:51 AM4/11/20
to Racket Users
I noticed that in regular Racket, when defining a structure, it is
possible for each field to be mutable independent of the other fields.
In Typed Racke I find the choice only of making all the fields or none
of them mutable.
Is this correct, or have I missed something?
-- hendrik
possible for each field to be mutable independent of the other fields.
In Typed Racke I find the choice only of making all the fields or none
of them mutable.
Is this correct, or have I missed something?
-- hendrik
Ben Greenman
Apr 12, 2020, 10:01:30 AM4/12/20
to Racket Users
Yes, that's right.
I think TR could support this choice ... the typechecket
(tc-structs.rkt) seems to know about the per-field mutability that
comes from a struct info.
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/20200411141747.ijbhuadzsy5r56ge%40topoi.pooq.com.
>
I think TR could support this choice ... the typechecket
(tc-structs.rkt) seems to know about the per-field mutability that
comes from a struct info.
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/20200411141747.ijbhuadzsy5r56ge%40topoi.pooq.com.
>
Reply all
Reply to author
Forward
0 new messages