Article View: comp.lang.functional
Article #519Re: A question about types in ML
From: Jeff Dalton
Date: Wed, 21 Nov 1990 17:13
Date: Wed, 21 Nov 1990 17:13
13 lines
1210 bytes
1210 bytes
In article <4987@rex.cs.tulane.edu> fs@caesar.cs.tulane.edu (Frank Silbermann) writes: >>datatype D = Atom of string | Bool of bool | Int of int | >> Real of real | Cons of (D * D) | Vector of (D array) > >I didn't know that -- thank you for correcting me. >At least now we've finally answered the original question >of <11901@life.ai.mit.edu> re how one can create >an ML list of "anything". Just define datatype D as above, >and then declare "list D". D is not "anything"; it includes only 6 possibilities. That isn't all the types initially in Common Lisp, let alone those that can be added at run-time.
Technical Details
Message-ID:
<3799@skye.ed.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!sdd.hp.com!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!edcastle!aiai!jeffReferences:
<2215@opal.cs.tu-berlin.de> <4971@rex.cs.tulane.edu> <11901@life.ai.mit.edu> <4987@rex.cs.tulane.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!sdd.hp.com!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!edcastle!aiai!jeff From: jeff@aiai.ed.ac.uk (Jeff Dalton) Newsgroups: comp.lang.functional Subject: Re: A question about types in ML Message-ID: <3799@skye.ed.ac.uk> Date: 21 Nov 90 17:13:42 GMT References: <2215@opal.cs.tu-berlin.de> <4971@rex.cs.tulane.edu> <11901@life.ai.mit.edu> <4987@rex.cs.tulane.edu> Reply-To: jeff@aiai.UUCP (Jeff Dalton) Distribution: comp Organization: AIAI, University of Edinburgh, Scotland Lines: 13