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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,abfa4f5da664715 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!feeder.news-service.com!news.motzarella.org!motzarella.org!octagram.motzarella.org!not-for-mail From: Ivan Levashew Newsgroups: comp.lang.ada Subject: Re: AuroraUX Combines SunOS with Ada Date: Sun, 15 Mar 2009 03:28:32 +0600 Organization: A noiseless patient Spider Message-ID: References: <6af3aae9-5f85-4bdc-82c2-dfad5d4deaed@d2g2000pra.googlegroups.com> <_Edul.115295$2h5.72090@newsfe11.iad> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.eternal-september.org U2FsdGVkX1+Xzlrd+B7kTpj44VSI2qTNB8Lv14UojVhlKzQosG14UV19GXtyJjO9PCZfTUG8NHX4OgWXXXmvYJdjQvzV4lfSbELE/Zzts1FUbNfLXbuHmNWdM/VUBbhMfBznB9PHMOvzvrLL/zgMqQ== X-Complaints-To: Please send complaints to abuse@motzarella.org with full headers NNTP-Posting-Date: Sat, 14 Mar 2009 21:27:45 +0000 (UTC) In-Reply-To: X-Auth-Sender: U2FsdGVkX18q3youcVmjfEyRLcHIc6JTYztS/XH/TYqo+NtpL4MRYA== X-Image-URL: http://img220.echo.cx/img220/9664/111408397042725603791c71pb.gif Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAFVBMVEUAAAOZlpMaJz3/9fYs //8FP1E2M3Qbef+MAAACEklEQVQ4jZ2TTW7bMBCFJwO465B2uqZfS+4NnyBA7LXMerSPEPL+R+gb KqmTIAWKDiCCmo9v/kSJqGaVJCp/TLk3kbypSPmdX2QD2YikTUrAe6CqiWuCL/LR3Cfu/AJgbP4K Phtjfz77vwAfOv4XkNPXVSkqwZvmfTZMAriHMOGG1EOt7xw1Rli8hTIkV4DDTIFn6qqYZJ5JFLhT yIVnHAoIrlYTNGKf7yVMUS4yvYITdC8EMaZwHyX4t4ERnCv2uN+HGMFH4x2bHuDEahD1IUR18LAn mC3Jjork3Wny28Gp+h1pMhR08VV9s55hc/J08qrg90RHP15uXag4c1pYMFvVbHmBB3bFtVGBpVwe z+Hno7UyABU8yYEt1l5q+P54Mj8sM5dsVdRqu4RDCLvWGn2lj8pMJdC2BMdtCFG0L8rptiz6Y3s8 Hh1wjehXby133vRneo5hBSgvu+rfozdodnDYui6g7645m1jpVXELFUtnz6yo9MUKfo1YhzXF6WSc bu09Ax7rcGSsgNKezKggaDNGLH8icz80EsmlcwxOPMcBBJZd0VnWzOnSGbYUMEXNnqO00gvB4p1T gG7TUMydxjljz9xxAAyFzUvpfiEZLHD91iwNhVmvfXybYaksDioVlDh4JdqbwVYFyQ2Unq8EeQDr GDfcrS/ZUF8VJAtWUW8pPyFXr8oDMun4r0pHgiVMafoNgUqRDtakwdAAAAAASUVORK5CYII= X-Face: *tpB#/X3&Zh\?<4l;hAgY:m6lt6L]v#Udy\Xwy{@<'qP=9clA}kEbbSV1]B0a^O{|ibsNV~|zu.Da}V4*se@ns!8*Bt$9l-]nbD}o*7ml9J2)u:"!6P%_-`y9,'.L.Psp),njUf!=F5;kx%~\,'D$%{" Cancel-Lock: sha1:Z0OkCELV/6iHyjv/cPSdNxFf3sY= User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; ru; rv:1.8.1.19) Gecko/20081209 Thunderbird/2.0.0.19 ThunderBrowse/3.2.3 Mnenhy/0.7.6.666 Xref: g2news2.google.com comp.lang.ada:5099 Date: 2009-03-15T03:28:32+06:00 List-Id: anon wrote: > > Why 100% Ada. A 100% Ada could prove the strengths of Ada and its > weaknesses. So you insist on Ada virtual machine? > Then the weaknesses could be fixed in the next specs. Some weaknesses are indeniable blockers. > But without 100% Ada some of those weaknesses will be passed to the next > specification and beyond. That's OK. Every weakness is often strength from another side. There is no silver bullet. Every strength can be roughly classified as either synthesis or analysis strength. The reality is so that S and A ones are mutually exclusive. You can't catch both at the same time (although you can easily miss both at the same time :)). Linear equations are easy to solve and analyze, but they are linear. You can't easily solve arbitrary equations. Analysis requires restricting synthesis and vice versa. In IT world, demands are diverse and in order to fullfill them, information systems are layered, with synthetic properties increasing and analytic properties decreasing on each layer. Ada has several restricted profiles and restricting tools (AdaControl, SPARK) that give it opportunity to reside into inner(analytical) layers, but building a cool OS also requires synthetic properties not present in Ada. 100% Ada makes no sense. > created by "Dmitry Kazakov" have Usenet is not bash. Disaster won't happen if you omit quotes around names here. > Also, as for "XPCOM, GLib, NSObject". Those are old school! Given the same circumstances and the same goals, people are likely to produce the same solutions. What is new school then? "100% Ada" says nothing about the approach it is gonna be implemented. > A lot of C project are created, violates the Ada RM, which gives one > reason they should be no mix language support in this OS. Let C go alone. What about Free Pascal, Cyclone, Limbo etc. developers? Do you want to shut the door for them? Why? -- If you want to get to the top, you have to start at the bottom