Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!emory!att!cbnewsc!lgm
From: lgm@cbnewsc.att.com (lawrence.g.mayka)
Newsgroups: comp.lang.functional
Subject: Re: A question about types in ML
Summary: Common Lisp has optional type declarations
Message-ID: <1990Nov16.000805.1971@cbnewsc.att.com>
Date: 16 Nov 90 00:08:05 GMT
References: <fraser.658398987@melomys> <4906@rex.cs.tulane.edu> <11901@life.ai.mit.edu>
Organization: AT&T Bell Laboratories
Lines: 14

In article <11901@life.ai.mit.edu>, tmb@ai.mit.edu (Thomas M. Breuel) writes:
> whereas in CommonLisp (or other dynamically typed languages),
> there is no language support whatsoever for handling typing.

Even with respect to compile-time typing, your statement is incorrect.
Common Lisp permits (optional) type declarations, and implementations
are invited to warn about any violation of them.


	Lawrence G. Mayka
	AT&T Bell Laboratories
	lgm@iexist.att.com

Standard disclaimer.