Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!ucsd!ucbvax!SHUM.HUJI.AC.IL!paula
From: paula@SHUM.HUJI.AC.IL (Paula Ross)
Newsgroups: comp.lang.functional
Subject: A question about types in ML
Message-ID: <paula.658247771@shum>
Date: 10 Nov 90 14:36:11 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: comp
Organization: The Hebrew University of Jerusalem, Israel
Lines: 5

Is there any way in ML that you can create a data type which accepts
sequences of objects of different types (when the number and types of the
objects are not known in advance) ?
i.e. can you create a list type without the restriction that each element of
the list must be of the same type ?