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.4 required=5.0 tests=BAYES_50,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f66ab,c2ed41f6f9544612
X-Google-Attributes: gidf66ab,public
X-Google-Thread: 103376,18a09885d036772,start
X-Google-Attributes: gid103376,public
X-Google-Thread: fa705,4e5700f5f17e49f4
X-Google-Attributes: gidfa705,public
From: "Thomas G. McWilliams" <tgm@netcom.com>
Subject: Re: Is this ground dead?  Also, info on Mach that's more recent
Date: 1998/01/17
Message-ID: <tgmEMy5z4.9vs@netcom.com>#1/1
X-Deja-AN: 316921945
Sender: tgm@netcom3.netcom.com
References: <34AE2AE8.ED17B2C6@gildea.net>
 <5l3eir6lvj.fsf@tequila.systemsz.cs.yale.edu>
 <69j8u6$spl$1@encore.ece.cmu.edu>
 <5lzpky66rq.fsf@tequila.systemsz.cs.yale.edu>
 <69jr4q$44j$1@encore.ece.cmu.edu>
Organization: Jot-Em-Down Store and Library
Newsgroups: comp.os.mach,comp.unix.bsd.misc,comp.lang.ada
Date: 1998-01-17T00:00:00+00:00
List-Id: <comp.lang.ada>


David A. Cuthbert <dacut@henry.ece.cmu.edu> wrote:
: At any rate, relying on type safety for protection means that you
: can't use C, C++, or assembly, or anything written in those
: languages (so forget device drivers).  Assembly is the killer here;

Have you used Ada?  Ada is type-safe and more powerful than C for
low level bit-twiddling. Ada is a natural for device drivers and
systems programming.