Re: A question about types in ML

Article View: comp.lang.functional

Article #506

Back to comp.lang.functional Previous Next

#506

From: John C. Peterson
Date: Fri, 16 Nov 1990 03:31

7 lines
967 bytes

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

Technical Details

Message-ID: <PETERSON-JOHN.90Nov15223106@object.cs.yale.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!yale!quasi-eli!cs.yale.edu!peterson-john

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>

Show Full Headers

Complete Article Headers

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

Reply to Parent Message