From dsmith@clark.net Mon Feb 24 15:00:15 1997
Return-Path: <croby@sw-eng.falls-church.va.us>
Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4)
	id PAA29422; Mon, 24 Feb 1997 15:00:15 -0500
Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us) by ida.org (4.1/SMI-4.1)
	id AA29508; Mon, 24 Feb 97 15:00:33 EST
Received: from wormhole.mtc.iitri.com by sw-eng.falls-church.va.us (8.7.1/)
	id TAA10897; Mon, 24 Feb 1997 19:54:00 GMT
Received: from mail.clark.net by mtc.iitri.com (4.1/3.1.090690-IITRI-MTC)
	id AA02367; Mon, 24 Feb 97 14:58:11 EST
Received: from clark.net (root@explorer.clark.net [168.143.0.7]) by mail.clark.net (8.8.5/8.6.5) with ESMTP id OAA01952; Mon, 24 Feb 1997 14:50:18 -0500 (EST)
Received: from [168.143.24.1] (dsmith.clark.net [168.143.24.1]) by clark.net (8.8.5/8.7.1) with ESMTP id OAA24228; Mon, 24 Feb 1997 14:50:31 -0500 (EST)
Date: Mon, 24 Feb 1997 14:50:31 -0500 (EST)
X-Sender: dsmith@clark.net (Unverified)
Message-Id: <l03020900af37597b9f0c@[168.143.24.1]>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
To: ASIS-comment@sw-eng.falls-church.va.us
From: Doug Smith <dsmith@clark.net>
Subject: General Comments
Cc: jbitto@gsg.eds.com
Content-Length: 3624
Status: OR

!topic  Arrays for lists need strong typing
!reference  ASIS 95-ss.ss(pp)
!from  Doug Smith 97-02-22
!keywords  array types list strong typing
!discussion

The use of array types for lists is acceptable, but subtyping
conventions are insufficient to preclude a large number of errors
that could be caught at compile time.

 Add strong typing to the array types to catch design errors
 at compile time.