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

Re: The Accessibility of Type Theory Research



On 2003-11-20T17:35:58-0800, James McCartney wrote:
> The idea that we who don't grok type theory symbols 
> should stay out of language design reminds me of the part in 100 Years 
> of Solitude where people were flying around the village on magic 
> carpets while the local scientist scoffed and refused to let his family 
> partake in the new fad until he figured out a scientific basis for it. 

I wonder where you get that idea; I haven't seen it on this thread.

> The unwashed masses will find their own way to use what is available in 
> spite of the academics.

Quite true.

	Ken

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
http://www.thismodernworld.com/
"vi has two modes: one where it beeps and one where it doesn't"

Attachment: signature.asc
Description: Digital signature