Re: Proving Correctness (was Java Portability)

["Warren W. Gay VE3WWG" <ve3wwg@home.com>]

Marin David Condic wrote:
> I like the way you think. :-)
> 
> There was a time when I was interested in being a "geek" and I got a great
> deal of satisfaction out of understanding all the intracacies of an OS and
> how to plug software into it and so on. That time is now past. I want to
> turn it on and get a job done. The less I need to know about the appliance,
> the more time I have free to dedicate to more profitable endeavors. Maybe
> I'm atypical of the population of programmers out there, but I think that it
> isn't hard to imagine most people appreciating a software product that just
> plugs in and starts to work. 

Here here! I hear ya.

> (Do most people *really* want to spend time
> fooling with registry entries, paths, file locations, compile/install
> scripts, etc? Or would they rather just plug the disk in, say "Install" and
> get started playing with the product? It leaves more time for sitting on the
> beach, sucking down a Pina Colada and getting a suntan. :-)

When you're young you have enthusiasm and the energy to learn all of those
"intracacies". As you get "beyond young" you loose enthusiasm for the detail,
and lack the energy to care.. yes, you begin to focus on getting the job
done. ;-)

I like Ada for many reasons, but one of them is to avoid having to deal with
the tireless details! Especially for tasking (threaded) code.

> MDC
> --
> Marin David Condic
> Senior Software Engineer
> Pace Micro Technology Americas    www.pacemicro.com
> Enabling the digital revolution
> e-Mail:    marin.condic@pacemicro.com
> Web:      http://www.mcondic.com/

-- 
Warren W. Gay VE3WWG
http://members.home.net/ve3wwg