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

Re: Industry versus academia

[I mistakenly replied to Michael in private mail. So here it goes to the 
list. I hope he'll post his private reply, too.]

On Friday 21 February 2003 23:53, Michael Vanier wrote:
> To choose an example: let's say that someone invents a programming
> language Foo that has the property that programs in Foo can be
> automatically verified for correctness before use (this is of course
> a long-standing holy grail of the programming languages field, but
> never mind).  Let's say that programming in Foo requires abstruse
> knowledge of...

Hm... wouldn't it be even cooler if this mythological language could be 
used by average programmers to the same effect?

Your paragraph sounds like a desperate cry that (please! please!) all 
that esoteric knowledge amassed through hard and self-denying work 
might be important for something in the end. Please, holy programming 
deity, protect my sense of self and all that I hold dear. <evil grin> 
Yes, of course, my characterization is hugely exaggerated. I'm a 
co-sufferer anyway -- though, to my dismay(!), not as advanced --, as 
are probably most people on this list.


Michael Schuerig                All good people read good books
mailto:schuerig@acm.org         Now your conscience is clear
http://www.schuerig.de/michael/ --Tanita Tikaram, "Twist In My Sobriety"