Re: A question about types in ML

Article View: comp.lang.functional

Article #503

Back to comp.lang.functional Previous Next

#503

From: lawrence.g.mayka
Date: Fri, 16 Nov 1990 00:08

14 lines
990 bytes

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.

Technical Details

Message-ID: <1990Nov16.000805.1971@cbnewsc.att.com>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!emory!att!cbnewsc!lgm

References: <fraser.658398987@melomys> <4906@rex.cs.tulane.edu> <11901@life.ai.mit.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message