[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The Accessibility of Type Theory Research



> Most of OO people don't even heard about the sigma calculus but think
> they "grok" objects.

My only quible with this logic is that it confuses mastery of a thing,
with mastery of the mathematics and notation used by academics to
discuss the thing.

This raises the old Art - Craft - Science debate (see Knuth).

--- Peter