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=3.8 required=5.0 tests=BAYES_00,INVALID_MSGID,
	RATWARE_MS_HASH,RATWARE_OUTLOOK_NONAME 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
X-Google-Attributes: gid103376,public
X-Google-Thread: fa705,4e5700f5f17e49f4
X-Google-Attributes: gidfa705,public
From: "Nick Roberts" <Nick.Roberts@dial.pipex.com>
Subject: Compile-time type checking
Date: 1998/01/22
Message-ID: <01bd2784$13cfe540$9dfc82c1@xhv46.dial.pipex.com>#1/1
X-Deja-AN: 318418389
Content-Transfer-Encoding: 7bit
References: <69rdmb$j29$1@encore.ece.cmu.edu>
 <199801191517.QAA00894@basement.replay.com> <6a0351$i53@nike.volvo.se>
Content-Type: text/plain; charset=ISO-8859-1
Organization: UUNet UK server (post doesn't reflect views of UUNet UK)
Mime-Version: 1.0
Newsgroups: comp.os.mach,comp.unix.bsd.misc,comp.lang.ada
Date: 1998-01-22T00:00:00+00:00
List-Id: <comp.lang.ada>


What idiot was it who designed Ada to do compile-time type checking, eh? 
(Almost as daft as thinking the world isn't flat, really ;-)

Nick