| 
|
Quote: a brand can appear only once in a program; prevents access from a typecase to the representation of a branded, opaque type
topics >
all references >
references m-o >
Topic:
data type by name or tags
Quotation Skeleton
[How the types got their identity, by Anonymous] Pluckless: … If the concrete type for an opaque type … [of the opaque type] by repeating the type expression in a typecase arm, brand … That's easy to enforce at link time. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: data type by name or tags (29 items)