Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!asuvax!ncar!gatech!udel!haven.umd.edu!socrates.umd.edu!socrates!rockwell From: rockwell@socrates.umd.edu (Raul Rockwell) Newsgroups: comp.lang.functional Subject: Re: overloading, subtypes, and arrays missed in SML Message-ID: Date: 14 Jun 91 05:03:23 GMT References: <5528@ztivax.UUCP> Sender: rockwell@socrates.umd.edu (Raul Rockwell) Organization: Traveller Lines: 12 In-Reply-To: corvara@ztivax.UUCP's message of 13 Jun 91 13: 06:16 GMT Torsten Roessel: I've been wondering about the motivations for some decisions made in the design of Standard ML. They concern a couple of useful concepts well known from imperative languages, namely overloading, subtypes, and arrays. While these could certainly provide there benefits in a functional setting as well they have been omitted in the definition of SML. Arrays are defined in the SML library. -- Raul