Re: AWWSW Telecon Tuesday 2011-08-30 ?

ht writes:

> Jonathan Rees writes:
>> . . .
>> The problem for me is that while I like my theory, nobody else seems
>> to get it, meaning it's still too rickety and poorly expressed to be
>> viable. It took years of work to get here, but it still has annoying
>> warts, and I'm just too close to it to be able to present it well.
>
> I don't agree -- I don't think there is much wrong here, and we can
> fix almost all that is, more than enough to make it worth shipping.  I
> remain concerned about the quantification point, but that's in another
> thread.

So here's one thing I like about your approach:  it makes the Best
Practice from 3986 and AWWW regarding conneg into something
approaching a theorem -- if you serve two alternative specialisations
of the same generic InfEnt via conneg, and they have nothing in
common, then you are telling people _nothing_ about the generic
InfEnt, which violates the Social Contract.

ht
-- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
                       URL: http://www.ltg.ed.ac.uk/~ht/
 [mail from me _always_ has a .sig like this -- mail without it is forged spam]

Received on Wednesday, 28 September 2011 17:26:46 UTC