james anderson scripsit:
> [disonant exchange about types, as to be expected as no distinction was made
> between lexical and value domains]
It was just that distinction of which I was availing myself in denying that
numbers (as opposed to numerals) are a subtype of strings.
--
John Cowan www.reutershealth.com www.ccil.org/~cowan
"The exception proves the rule." Dimbulbs think: "Your counterexample proves
my theory." Latin students think "'Probat' means 'tests': the exception puts
the rule to the proof." But legal historians know it means "Evidence for an
exception is evidence of the existence of a rule in cases not excepted from."
