Quote: for Thesa a type is just a set of descriptions with a shared name; but the user sees a closely related collection; needs work

Quotation

this is a general problem--i.e. I see the type as n different descriptions which are the same only by common type. the user sees it as a closely related collection-- i.e. he sees it in terms of a type key. So this comes down to needing a general processor for data input--just as we have one for program input   Google-1   Google-2

personal notes

Related Topics

Topic: data types in Thesa (92 items)