Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!yale!quasi-eli!cs.yale.edu!peterson-john
From: peterson-john@cs.yale.edu (John C. Peterson)
Newsgroups: comp.lang.functional
Subject: Re: A question about types in ML
Message-ID: <PETERSON-JOHN.90Nov15223106@object.cs.yale.edu>
Date: 16 Nov 90 03:31:06 GMT
References: <fraser.658398987@melomys> <4906@rex.cs.tulane.edu>
	<2215@opal.cs.tu-berlin.de> <4971@rex.cs.tulane.edu>
	<11901@life.ai.mit.edu>
Sender: news@cs.yale.edu
Distribution: comp
Organization: /homes/systems/jcp/.organization
Lines: 7
Nntp-Posting-Host: object.systemsz.cs.yale.edu
In-reply-to: tmb@ai.mit.edu's message of 15 Nov 90 21:50:03 GMT


Regarding typing in Common Lisp & ML, it is incorrect to say that
Common Lisp lacks types; type declarations in CL are actually far more
general than those in ML.  What Common Lisp lacks is any sort of well
defined type inference, a major deficiency.

    John Peterson