A concept guide that takes the reader through the question "what do we mean by 'types are values'?", viewed from three different angles:
practical: for the person typing CUE
theoretical: what does the spec tell us, and what are the implications
philosophical: (joining up the first two points): how does the underlying theory change our thinking, as we're writing CUE and designing systems to best take advantage of its capabilities?
A concept guide that takes the reader through the question "what do we mean by 'types are values'?", viewed from three different angles: