An idea Tammy uses frequently: Types are sets. That is, a type-signature for an entity says “the entity is within the set of all [whatever]s”. Yes of course the distinction is unclear at this very moment. Tammy just invented QACI within the past year, it’s still a work in progress, and even the background math’s probably not all done. More to the point, I haven’t described most of it yet! Again, any problems that could arise are left to part 2 of this post.
I do not understand the overall meaning of all sentences from the second onwards in this paragraph.
I do not understand the overall meaning of all sentences from the second onwards in this paragraph.