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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e0a59694a441eb7b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-04-25 09:33:38 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!proxad.net!usenet-fr.net!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: "Alexander E. Kopilovich" Newsgroups: comp.lang.ada Subject: Re: OOP Language for OS Development Date: Sun, 25 Apr 2004 20:29:36 +0400 (MSD) Organization: Cuivre, Argent, Or Message-ID: References: NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: melchior.cuivre.fr.eu.org 1082910696 52242 212.85.156.195 (25 Apr 2004 16:31:36 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Sun, 25 Apr 2004 16:31:36 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: In-Reply-To: ; from Thomas Gagn? at Sat, 24 Apr 2004 18:09:08 -0400 X-Mailer: Mail/@ [v2.44 MSDOS] X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:7473 Date: 2004-04-25T20:29:36+04:00 Thomas Gagn? wrote: > was suggested by Alan Kay years ago: > > > "Hardware is really just software crystallized early. It is there to > make program schemes run as efficiently as possible. But far too > often the hardware has been presented as a given and it is up to > software designers to make it appear reasonable. This has caused > low-level techniques and excessive optimization to hold back > progress in program design. As Bob Barton used to say: "Systems > programmers are high priests of a low cult." The latter is certainly true, but crowds of low priests of several relatively high cults constitute much more notorious problem. > "One way to think about progress in software is that a lot of it has > been about finding ways to /late-bind/, then waging campaigns to > convince manufacturers to build the ideas into hardware. Early > hardware had wired programs and parameters; random access memory was > a scheme to late-bind them. Looping and indexing used to be done by > address modification in storage; index registers were a way to > late-bind. Over the years software designers have found ways to > late-bind the locations of computations--this led to base/bounds > registers, segment relocation, page MMUs, migratory processes, and > so forth. Time-sharing was held back for years because it was > "inefficient"-- but the manufacturers wouldn't put MMUs on the > machines, universities had to do it themselves! Recursion late-binds > parameters to procedures, but it took years to get even rudimentary > stack mechanisms into CPUs. Most machines still have no support for > dynamic allocation and garbage collection and so forth. In short, > most hardware designs today are just re-optimizations of moribund > architectures." Interesting quotation - it makes quite obvious that late/early binding is a dynamic form of static notion of generalization/specialization. Alexander Kopilovich aek@vib.usr.pu.ru Saint-Petersburg Russia