[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The Accessibility of Type Theory Research
>> 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.
> While there are several home care books, most people ultimately refer
> to a trained doctor, right? [...]
> It's even better in language design: there's no certification board
> that prevents you from hanging out your shingle.
> IMHO language implementors should read these papers
> over and over again until their eyes bleed.
> Also I don't think you can "grok" something in CS
> without "groking" mathematics and notation.
--- james mccartney