From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-03 01:12:34 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!grolier!proxad.net!feeder2-1.proxad.net!nnrp6.proxad.net.POSTED!not-for-mail From: "nicolas" Newsgroups: comp.lang.ada References: <1Zu77.187$EF5.315498@nnrp1.proxad.net> <9jp5eo$e2b$2@a1-hrz.uni-duisburg.de> <9jrdl3$mh2$1@a1-hrz.uni-duisburg.de> <%hb87.917$%w2.3730577@nnrp3.proxad.net> <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com> <3B6636BA.96FD8348@home.com> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de> <9kchn1$lng$1@a1-hrz.uni-duisburg.de> Subject: Re: Proving Correctness (was Java Portability) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2919.6700 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700 Message-ID: Date: Fri, 03 Aug 2001 08:12:33 GMT NNTP-Posting-Host: 195.101.131.241 X-Complaints-To: abuse@proxad.net X-Trace: nnrp6.proxad.net 996826353 195.101.131.241 (Fri, 03 Aug 2001 10:12:33 CEST) NNTP-Posting-Date: Fri, 03 Aug 2001 10:12:33 CEST Organization: Guest of ProXad - France Xref: archiver1.google.com comp.lang.ada:11176 Date: 2001-08-03T08:12:33+00:00 List-Id: "Georg Bauhaus" a �crit dans le message news: 9kchn1$lng$1@a1-hrz.uni-duisburg.de... > : He is right, and almost every software users do the same. > > Almost every... May I again ask for evidence? Have you ever met people considering that computers are just tools ? I guess the misunderstanding comes from the fact that - Most programmers like computers, this is a hobby, they have a lot of fun playing with them - the rest of the world use a computer or a software like a TV set, a coffee machine or whatever you want. the important point is that it must work more or less, be easy to use, nobody cares what's inside ... Nobody cares if it comes from the evil Microsoft or the good whatever you want ... Nobody wants to spend 5 hours reading a doc before a basic use of the product You'd never accept to have to read the doc of a new car or motorbike before you can find where are the brakes ... Would you ? The day programmers will understand how the rest of the world thinks, this will be a giant step forward Now, about all what we were talking about, I guess softwares would much better meet users requirements if programmers had not so much fun playing with computers. Popular languages are used by a lot of people, more and more programming just for work, and having fun with everything but computers outside the office. So they are evolving to be useful tools, because those guys don't accept weird things you can only appreciate if you have fun with computers. If Ada doesn't go that way, we have to worry.