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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-03 09:02:55 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!news.tele.dk!193.174.75.178!news-fra1.dfn.de!news-koe1.dfn.de!RRZ.Uni-Koeln.DE!uni-duisburg.de!not-for-mail From: Georg Bauhaus Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) Date: Fri, 3 Aug 2001 16:02:54 +0000 (UTC) Organization: GMUGHDU Message-ID: <9kehve$r76$1@a1-hrz.uni-duisburg.de> References: <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> <9ke9pa$lks$1@nh.pace.co.uk> NNTP-Posting-Host: l1-hrz.uni-duisburg.de X-Trace: a1-hrz.uni-duisburg.de 996854574 27878 134.91.4.34 (3 Aug 2001 16:02:54 GMT) X-Complaints-To: usenet@news.uni-duisburg.de NNTP-Posting-Date: Fri, 3 Aug 2001 16:02:54 +0000 (UTC) User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00 (9000/800)) Xref: archiver1.google.com comp.lang.ada:11232 Date: 2001-08-03T16:02:54+00:00 List-Id: Marin David Condic wrote: : So, IMHO, Ada needs to be more "Customer Centered" and offer the users & : potential users the kinds of things they are currently buying. Or, only as an alternative, something completely different. That variant is quite a market success in times. E.g., I wasn't tooooo impressed when I tried ISE Eiffel (only the text editing facilities), but it does really have more power than vi and adamode is heading towards it. They now have completed Visual Studio integration, but I doubt they have given up all the nifty browsing features, which afaik couldn't be bought for C++, say. Let's see how Eiffel# will raise the number of Eiffel installations. As to programmer capabilities, aka human resources(?), and given the number of circulating Visual C++ copies, I realize there is a market for Visual Ada, but there is also quite a number of programmers who have learned to use a "Language/Emacs" combination, or better, or worse, but different enough to make the effort to learn to use Visual Ada less cost effective than assembling the components in the manner they are somewhat used to. : I've got it all in one box and there's a good collection : of documents that work your people through how to use it and you're up and : running right away." Does this product exist? :-) We've not been _that_ successful with the alledgedly multipotent Java libraries, in that a few tedious work arounds were necessary. : Or we can say "What you want doesn't make sense and when you smarten up, : you'll choose Ada" - but that hasn't worked well so far in terms of : capturing a large market. Agreed, yes, the masses are best captured by positive mass psychological means, which sometimes involves being silent about bitter truths. :-) :-) But have you considered what mass market Ada programs will look like? :-) :-) :-)