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,5f77b73c5df291a2 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!news.germany.com!news.motzarella.org!motzarella.org!octagram.motzarella.org!not-for-mail From: Ivan Levashew Newsgroups: comp.lang.ada Subject: Re: Building a new OS using Ada Date: Sun, 08 Feb 2009 18:39:13 +0600 Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.eternal-september.org U2FsdGVkX18ByoQiAMIIEGcIkI2sdCbRN2IBxEc+CQZua2ovPJ7UAuJDkIfjBlIZsX4HkwtUahrJR9+gU7sLMj6eweCXnOlm4c2DPtJ1G7cR3leA5D7NbwhT/k7CntFM1zxslqo0eqf2H/TE1S6l8Q== X-Complaints-To: Please send complaints to abuse@motzarella.org with full headers NNTP-Posting-Date: Sun, 8 Feb 2009 12:38:21 +0000 (UTC) In-Reply-To: X-Auth-Sender: U2FsdGVkX19Q3DHhotGXawMTKO2S9MD1FPqbuDPfaH4Pn1tL8ciQQQ== 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:rCrt8O621Y6CKssQRmysZt/+PjY= 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.2.1 Mnenhy/0.7.6.666 Xref: g2news2.google.com comp.lang.ada:4561 Date: 2009-02-08T18:39:13+06:00 List-Id: Cedric Lannock wrote: > > The first thing I will do is to describe the latest developements in > computer science, give a description of a vision of a new OS, give a > short and of course incomplete overview of existing OS that could be > used a starting point. Personally, I'd like incremental computation to be incorporated into everyday programs. http://www.cs.cornell.edu/info/people/tt/research/incremental-computation/derivation.html Most of the computations could be performed in an incremental manner. Rewriting compilers and other tools in an incremental programming language might significantly boost performance (at cost of space, of course, but it's a good deal). > These applications are build to highly interoperate with each other. What do you mean? I haven't noticed a boost of interoperability. It's still a heavy task, as it was 10 years ago. > Each single individual has only a small brain with a very simple > program but hooking them together by exchanging pheromones when > touching they can make complex decision within their swarm. We could > make it similar when developing a new OS. As a common rule, a trust is a vulnerability. The only exclusion I can see is F2F darknets, where every peer owner knows owners of neighbour peers (and this isn't necessarily transitive). You could experiment with F2F at the moment. No need to wait a new OS. As RIAA shuts down torrent trackers and dc++ hubs, people are more and more interested in preserving their life style. F2F is the answer. Finally, there is no server. Just people's computers and nothing else. You'd have hard time describing f2f benefits for those who haven't used p2p, but p2p is nowadays not uncommon. > I think the Unix- like OS have shown this concept at all when > implementing a piping mechanism. Maybe the new OS could enhance it by > being able to take more complex messages instead of simple streams. My wishlist: 1. Rowsets 2. Audio/Video streams 3. Loosy structures. Virtually every scripting language have them: numbers, strings, dictionaries, lists. They are definitelly not attributes of strong typing, however, they form a commodity basis. A kind of CLD. In abscense of these structures, strings are used, which is much worse. They are present both in Core Foundation and Qt, but they are not interoperable enough. XML is probably an overhead. I can hardly remember a programming environment with XML nodes serving as data holders in runtime. > Because a lot of applications are build into browsers the new OS could > offer a good browser technology making it easy to developers to build > applications for the new OS because they could take to already > available software directly to the new platform. A constantly increasing amount of work. > --- GNAT was not designed to build stand-alone bootable code. How to > build it on different devices? --- > As far as I understood the gcc compiler it should be able to build Ada > programs also. As gcc runs on a lot of machines it might help to build > Ada programs for a lot of platforms. GCC intermediate interface isn't thick enough to provide all the needed information about a target platform. Porting GCC isn't enough to port GNAT. GNAT requires personal attention. Maybe someday GCC intermediate interface will be thick enough for Ada and Java (Java is also in need of multitasking features). At the moment, the extra work is being repeated twice, for GNAT and GCJ (and maybe others). -- If you want to get to the top, you have to start at the bottom